@Inproceedings{EPTCS268.5, author = {Han, Pujie and Zhai, Zhengjun and Nielsen, Brian and Nyman, Ulrik}, year = {2018}, title = {A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems}, editor = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin}, booktitle = {{\rm Proceedings Third Workshop on} Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation, {\rm Thessaloniki, Greece, 20th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {268}, publisher = {Open Publishing Association}, pages = {150-168}, doi = {10.4204/EPTCS.268.5}, }