@article(ARP47611996,
 author       = "SAE ARP4761",
 year         = "1996",
 title        = "{Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment}",
 journal      = "SAE International",
 pages        = "1--331",
)
@article(Bowles2010,
 author       = "Juliana Bowles and Dulani Meedeniya",
 year         = "2010",
 title        = "{Formal Transformation from Sequence Diagrams to Coloured Petri Nets}",
 journal      = "2010 Asia Pacific Software Engineering Conference",
 pages        = "216--225",
 doi          = "10.1109/APSEC.2010.33",
)
@article(byg2009b,
 author       = "Joakim Byg and Kenneth Yrke J{\o }rgensen",
 year         = "2009",
 title        = "{An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata}",
 journal      = "Formal Methods and Software Engineering",
 volume       = "5885",
 number       = "1",
 pages        = "698--716",
 doi          = "10.1007/978-3-642-10373-5\_36",
)
@inproceedings(Byg2009,
 author       = "Joakim Byg and Kenneth Yrke J{\o }rgensen and Jir\'{\i } Srba",
 year         = "2009",
 title        = "{TAPAAL: Editor, simulator and verifier of timed-arc Petri nets}",
 booktitle    = "Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis",
 pages        = "84--89",
 doi          = "10.1007/978-3-642-04761-9\_7",
)
@techreport(Damm2011,
 author       = "Werner Damm and Andreas Baumgart and Eckard B\"{o}de and Matthias B\"{u}ker and Tayfun Gezgin and Stefan Henkler and Hardi Hungar and Bernhard Josko and Markus Oertel and Thomas Peikenkamp and Philipp Reinkemeier and Ingo Stierand and Raphael Weber",
 year         = "2011",
 title        = "{Architecture Modeling}",
 type         = "Technical Report",
 institution  = "OFFIS",
 address      = "Oldenburg",
)
@inproceedings(Eichner2005,
 author       = "Christoph Eichner and Hans Fleischhack and Roland Meyer",
 year         = "2005",
 title        = "{Compositional semantics for UML 2.0 sequence diagrams using Petri nets}",
 booktitle    = "In 12th Int. SDL Forum, volume 3530 of LNCS",
 pages        = "133--148",
 doi          = "10.1007/11506843\_9",
)
@article(Hanisch1993,
 author       = "HM Hanisch",
 year         = "1993",
 title        = "{Analysis of place/transition nets with timed arcs and its application to batch process control}",
 journal      = "Application and Theory of Petri Nets 1993",
 pages        = "282--299",
 doi          = "10.1007/3-540-56863-8\_52",
)
@techreport(ISO26262,
 author       = "{ISO}",
 year         = "2009",
 title        = "{ISO/DIS 26262-1 - Road vehicles "Functional safety" Part 1 Glossary}",
 type         = "Technical Report",
)
@inproceedings(Li2004,
 author       = "Xiaoshan Li and Zhiming Liu and He Jifeng",
 year         = "2004",
 title        = "{A formal semantics of UML sequence diagram}",
 booktitle    = "Australian Software Engineering Conference Proceedings",
 volume       = "292",
 pages        = "168--177",
 doi          = "10.1109/ASWEC.2004.1290469",
)
@inproceedings(Linzhang2004,
 author       = "W. Linzhang and Y. Jiesong and Y. Xiaofeng and H. Jun and L. Xuandong and Z. Guoliang",
 year         = "2004",
 title        = "{Generating test cases from UML activity diagram based on gray-box method}",
 booktitle    = "Software Engineering Conference, 2004. 11th Asia-Pacific",
 volume       = "60233020",
 pages        = "284--291",
 doi          = "10.1109/APSEC.2004.55",
)
@article(Micskei2010,
 author       = "Zolt\'{a}n Micskei and H\'{e}l\`{e}ne Waeselynck",
 year         = "2010",
 title        = "{The many meanings of UML 2 Sequence Diagrams: a survey}",
 journal      = "Software \& Systems Modeling",
 volume       = "10",
 number       = "4",
 pages        = "489--514",
 doi          = "10.1007/s10270-010-0157-9",
)
@techreport(uml2,
 author       = "OMG",
 year         = "2010",
 title        = "{OMG Unified Modeling Language TM (OMG UML), Superstructure v2. 3 . 2010}",
 type         = "Technical Report",
 number       = "May",
)
@phdthesis(Sieverding2011,
 author       = "Sven Sieverding",
 year         = "2011",
 title        = "{Sequenzdiagrammbasierte Test- und Analysemethoden von AUTOSAR-Softwarekomponenten ( SWCs )}",
 type         = "Master thesis",
 school       = "Oldenburg",
)
@article(Sokenou2006,
 author       = "Dehla Sokenou",
 year         = "2006",
 title        = "{Generating test sequences from UML sequence diagrams and state diagrams}",
 journal      = "Informatik 2006: Informatik f\"{u}r Menschen",
 volume       = "2",
 number       = "94",
 pages        = "236--240",
)
@inproceedings(Srba2005,
 author       = "Jir\'{\i } Srba",
 year         = "2005",
 title        = "{Timed-arc Petri nets vs. networks of timed automata}",
 booktitle    = "Applications and Theory of Petri Nets",
 pages        = "1273--1278",
 doi          = "10.1007/11494744\_22",
)
@article(srba2008comparing,
 author       = "Jir\'{\i } Srba",
 year         = "2008",
 title        = "Comparing the expressiveness of timed automata and timed extensions of Petri nets",
 journal      = "Formal Modeling and Analysis of Timed Systems",
 pages        = "15--32",
 doi          = "10.1007/978-3-540-85778-5\_3",
)