@techreport(arinc664p7,
 author       = {AEEC},
 year         = {2009},
 title        = {Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network},
 type         = {{ARINC} Specification 664P7-1},
 institution  = {Aeronautical Radio Inc.},
)
@techreport(arinc653,
 author       = {AEEC},
 year         = {2010},
 title        = {Avionics Application Software Standard Interface: Part 1 - Required Services},
 type         = {{ARINC} Specification 653P1-3},
 institution  = {Aeronautical Radio Inc.},
)
@inproceedings(amnell2003times,
 author       = {Tobias Amnell and Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi},
 title        = {TIMES: a tool for schedulability analysis and code generation of real-time systems},
 booktitle    = {FORMATS 2003},
 doi          = {10.1007/978-3-540-40903-8_6},
)
@book(annighofer2014systems,
 author       = {Bj{\"o}rn Annigh{\"o}fer and Frank Thielecke},
 year         = {2014},
 title        = {A Systems Architecting Framework for Distributed Integrated Modular Avionics},
 publisher    = {DGLR},
 doi          = {10.1007/s13272-015-0156-1},
)
@inproceedings(boudjadar2014compositional,
 author       = {Jalil Boudjadar and Kim Guldstrand Larsen and Jin Hyun Kim and Ulrik Nyman},
 title        = {Compositional schedulability analysis of an avionics system using {UPPAAL}},
 booktitle    = {AASE 2014},
)
@inproceedings(carnevali2011formal,
 author       = {Laura Carnevali and Giuseppe Lipari and Alessandro Pinzuti and Enrico Vicario},
 title        = {A formal approach to design and verification of two-level Hierarchical Scheduling systems},
 booktitle    = {RST 2011},
 doi          = {10.1007/BF00360340},
)
@article(carnevali2013compositional,
 author       = {Laura Carnevali and Alessandro Pinzuti and Enrico Vicario},
 year         = {2013},
 title        = {Compositional verification for hierarchical scheduling of real-time systems},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {39},
 number       = {5},
 pages        = {638--657},
 doi          = {10.1109/TSE.2012.54},
)
@inproceedings(cassez2000impressive,
 author       = {Franck Cassez and Kim Larsen},
 title        = {The impressive power of stopwatches},
 booktitle    = {CONCUR 2000},
 doi          = {10.1007/3-540-44618-4_12},
)
@inproceedings(cicirelli2012development,
 author       = {Franco Cicirelli and Angelo Furfaro and Nigro et al., Libero},
 title        = {Development of a schedulability analysis framework based on pTPN and {U}PPAAL with stopwatches},
 booktitle    = {DSRA 2012},
 doi          = {10.1109/DS-RT.2012.16},
)
@article(david2015uppaal,
 author       = {Alexandre David and Kim G Larsen and Axel Legay and Miku{\v{c}}ionis, Marius and Danny B{\o}gsted Poulsen},
 year         = {2015},
 title        = {Uppaal SMC tutorial},
 journal      = {STTT},
 volume       = {17},
 number       = {4},
 pages        = {397--415},
 doi          = {10.1007/s10009-014-0361-y},
)
@techreport(dodd2006coloured,
 author       = {RB Dodd},
 year         = {2006},
 title        = {Coloured petri net modelling of a generic avionics mission computer},
 type         = {Technical Report},
 institution  = {DTIC},
)
@inproceedings(easwaran2009compositional,
 author       = {Arvind Easwaran and Insup Lee and Oleg Sokolsky and Steve Vestal},
 title        = {A compositional scheduling framework for digital avionics systems},
 booktitle    = {RTCSA 2009},
 doi          = {10.1109/RTCSA.2009.46},
)
@article(gutierrez2014holistic,
 author       = {J Javier Guti{\'e}rrez and J Carlos Palencia and Michael Gonz{\'a}lez Harbour},
 year         = {2014},
 title        = {Holistic schedulability analysis for multipacket messages in {AFDX} networks},
 journal      = {Real-Time Systems},
 volume       = {50},
 number       = {2},
 doi          = {10.1007/s11241-013-9192-2},
)
@inproceedings(sun2014component,
 author       = {Youcheng Sun and Giuseppe Lipari and Romain Soulat and Laurent Fribourg and Nicolas Markey},
 title        = {Component-based analysis of hierarchical scheduling using linear hybrid automata},
 booktitle    = {ERCSA 2014},
 doi          = {10.1109/RTCSA.2014.6910502},
)
@inproceedings(wang2013research,
 author       = {Guoqing Wang and Qingfan Gu},
 title        = {Research on distributed integrated modular avionics system architecture design and implementation},
 booktitle    = {DASC 2013},
 doi          = {10.1109/dasc.2013.6712647},
)