@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 Libero Nigro and Francesco Pupo},
 title        = {Development of a schedulability analysis framework based on {pTPN} and {UPPAAL} with stopwatches},
 booktitle    = {DSRA 2012},
 doi          = {10.1109/DS-RT.2012.16},
)
@inproceedings(david2010timed,
 author       = {Alexandre David and Kim G Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski},
 title        = {Timed {I/O} automata: a complete specification theory for real-time systems},
 booktitle    = {HSCC 2010},
 doi          = {10.1145/1755952.1755967},
)
@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(grumberg1994model,
 author       = {Orna Grumberg and David Long},
 year         = {1994},
 title        = {Model checking and modular verification},
 journal      = {Toplas},
 volume       = {16},
 number       = {3},
 pages        = {843--871},
 doi          = {10.1145/177492.177725},
)
@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},
)
@phdthesis(jensen1999abstraction,
 author       = {Henrik Jensen},
 year         = {1999},
 title        = {Abstraction-based verification of distributed systems},
 school       = {Aalborg university},
)
@inproceedings(jensen2000scaling,
 author       = {Henrik Jensen and Kim Larsen and Arne Skou},
 title        = {Scaling up {UPPAAL}},
 booktitle    = {FTRFS 2000},
 doi          = {10.1007/3-540-45352-0_4},
)
@inproceedings(mikuvcionis2010schedulability,
 author       = {Miku{\v{c}}ionis, Marius and Kim Larsen and Jacob Rasmussen and Brian Nielsen and Arne Skou and Steen Palm and Jan Pedersen and Poul Hougaard},
 title        = {Schedulability analysis using {UPPAAL}: Herschel-Planck case study},
 booktitle    = {ISoLA 2010},
 doi          = {10.1007/978-3-642-16561-0_21},
)
@inproceedings(Reineke2006A,
 author       = {Jan Reineke and Bj{\"o}rn Wachter and Thesing et al., Stefan},
 title        = {A definition and classification of timing anomalies},
 booktitle    = {WCET 2006},
)
@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    = {RTCSA 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},
)