<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of cea-03789094</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T15:36:48+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Formal analysis approach for multi-layered system safety and security co-engineering</title>
            <author role="aut">
              <persName>
                <forename type="first">Megha</forename>
                <surname>Quamara</surname>
              </persName>
              <email type="md5">d63685a4e9c022a6bf479cfc139025fe</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="string">meghaquamara</idno>
              <idno type="idhal" notation="numeric">1167927</idno>
              <idno type="halauthorid" notation="string">2593045-1167927</idno>
              <idno type="IDREF">https://www.idref.fr/254296904</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9380-6916</idno>
              <idno type="VIAF">https://viaf.org/viaf/27158066653708432439</idno>
              <affiliation ref="#struct-528160"/>
              <affiliation ref="#struct-1001836"/>
              <affiliation ref="#struct-116256"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gabriel</forename>
                <surname>Pedroza</surname>
              </persName>
              <email type="md5">d323ca2d42cf6e9a4c416ec9dd24a51b</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">gabriel-pedroza</idno>
              <idno type="idhal" notation="numeric">746964</idno>
              <idno type="halauthorid" notation="string">26517-746964</idno>
              <affiliation ref="#struct-528160"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Brahim</forename>
                <surname>Hamid</surname>
              </persName>
              <email type="md5">c720714ba5b9ee3de6a867f51de48edd</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">brahim-hamid</idno>
              <idno type="idhal" notation="numeric">750865</idno>
              <idno type="halauthorid" notation="string">7128-750865</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2199-3916</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=V_KGpOcAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/119018586</idno>
              <affiliation ref="#struct-1001836"/>
              <affiliation ref="#struct-116256"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Megha</forename>
                <surname>Quamara</surname>
              </persName>
              <email type="md5">74ae079e52385194e1fc9596f4d4fedf</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-09-27 11:17:12</date>
              <date type="whenModified">2025-10-22 18:04:09</date>
              <date type="whenReleased">2022-09-27 16:31:36</date>
              <date type="whenProduced">2022-09-12</date>
              <date type="whenEndEmbargoed">2022-09-27</date>
              <ref type="file" target="https://cea.hal.science/cea-03789094v1/document">
                <date notBefore="2022-09-27"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://cea.hal.science/cea-03789094v1/file/SERENE_2022_paper_4525.pdf" id="file-3789094-3314583">
                <date notBefore="2022-09-27"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="898275">
                <persName>
                  <forename>Megha</forename>
                  <surname>Quamara</surname>
                </persName>
                <email type="md5">74ae079e52385194e1fc9596f4d4fedf</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">cea-03789094</idno>
            <idno type="halUri">https://cea.hal.science/cea-03789094</idno>
            <idno type="halBibtex">quamara:cea-03789094</idno>
            <idno type="halRefHtml">&lt;i&gt;14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022)&lt;/i&gt;, Sep 2022, Zaragoza, Spain. pp.18-31, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-031-16245-9_2"&gt;&amp;#x27E8;10.1007/978-3-031-16245-9_2&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, &amp;#x27E8;10.1007/978-3-031-16245-9_2&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3789094-3314583"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="CEA-UPSAY" corresp="CEA">CEA - Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-ARGOS" corresp="IRIT">Advancing Rigorous Software and System Engineering</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="IRIT-FSL" corresp="IRIT">Fiabilité des Systèmes et des Logiciels</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Co-located with the 18th European Dependable Computing Conference (EDCC 2022)</note>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Formal analysis approach for multi-layered system safety and security co-engineering</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Megha</forename>
                    <surname>Quamara</surname>
                  </persName>
                  <email type="md5">d63685a4e9c022a6bf479cfc139025fe</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="string">meghaquamara</idno>
                  <idno type="idhal" notation="numeric">1167927</idno>
                  <idno type="halauthorid" notation="string">2593045-1167927</idno>
                  <idno type="IDREF">https://www.idref.fr/254296904</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9380-6916</idno>
                  <idno type="VIAF">https://viaf.org/viaf/27158066653708432439</idno>
                  <affiliation ref="#struct-528160"/>
                  <affiliation ref="#struct-1001836"/>
                  <affiliation ref="#struct-116256"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gabriel</forename>
                    <surname>Pedroza</surname>
                  </persName>
                  <email type="md5">d323ca2d42cf6e9a4c416ec9dd24a51b</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">gabriel-pedroza</idno>
                  <idno type="idhal" notation="numeric">746964</idno>
                  <idno type="halauthorid" notation="string">26517-746964</idno>
                  <affiliation ref="#struct-528160"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Brahim</forename>
                    <surname>Hamid</surname>
                  </persName>
                  <email type="md5">c720714ba5b9ee3de6a867f51de48edd</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">brahim-hamid</idno>
                  <idno type="idhal" notation="numeric">750865</idno>
                  <idno type="halauthorid" notation="string">7128-750865</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2199-3916</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=V_KGpOcAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/119018586</idno>
                  <affiliation ref="#struct-1001836"/>
                  <affiliation ref="#struct-116256"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Dependable Computing – EDCC 2022 Workshops: SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings ; ISBN: 978-3-031-16244-2 ; Series ISSN: 1865-0929</title>
                <meeting>
                  <title>14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022)</title>
                  <date type="start">2022-09-12</date>
                  <date type="end">2022-09-15</date>
                  <settlement>Zaragoza</settlement>
                  <country key="ES">Spain</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">Communications in Computer and Information Science book series (CCIS)</biblScope>
                  <biblScope unit="volume">1656</biblScope>
                  <biblScope unit="pp">18-31</biblScope>
                  <date type="datePub">2022-09-05</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-031-16245-9_2</idno>
              <ref target="https://link.springer.com/chapter/10.1007/978-3-031-16245-9_2" type="seeAlso"/>
              <ref type="publisher">https://serene.disim.univaq.it/2022/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Design</term>
                <term xml:lang="en">Formal Methods</term>
                <term xml:lang="en">Model-Driven Engineering</term>
                <term xml:lang="en">Analysis</term>
                <term xml:lang="en">Co-engineering</term>
                <term xml:lang="en">Security</term>
                <term xml:lang="en">Safety</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Critical domains (like Cyber-Physical Systems-CPSs) have witnessed increased demand for considering both safety and security concerns during the early phases of the System Engineering (SE) process. Particularly, in the design phase, safety and security requirements should cascade down across different system views till the architectural design. However, such an enrichment process is often complex and lacks guidance to precisely specify the corresponding properties and consistently break down high-level system specifications into intricate architecture for a rigorous analysis. To this end, we propose a formal approach pursuing joint analysis of safety and security objectives, specialize-able across different system views. In particular, the approach strives for a multi-layered system representation, integrating mission, functional and component views, and libraries of pre-defined safety and security properties, instantiate-able at each layer. We rely upon the meta-modeling and formal techniques for the specification, conceptual modeling, formal interpretation, and verification of the system w.r.t. the allocated properties. The overall approach is validated using Rodin as an instance of a formal-based tool for properties' verification.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-528160" status="VALID">
          <idno type="RNSR">200822623K</idno>
          <orgName>Département Ingénierie Logiciels et Systèmes</orgName>
          <orgName type="acronym">DILS (CEA, LIST)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="direct"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1001836" status="OLD">
          <orgName>Advancing Rigorous Software and System Engineering</orgName>
          <orgName type="acronym">IRIT-ARGOS</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>Institut de recherche en informatique de Toulouse - IRIT118 Route de Narbonne 31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irit.fr/departement/fiabilite-des-systemes-et-des-logiciels/equipe-argos/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>