Media type: E-Article Title: Computer Aided Systems Theory - EUROCAST 2009: Performance Modelling for Avionics Systems Contributor: Januzaj, Visar; Mauersberger, Ralf; Biechele, Florian imprint: Springer Berlin Heidelberg, 2009 Published in: Computer Aided Systems Theory - EUROCAST 2009 Language: Not determined DOI: 10.1007/978-3-642-04772-5_107 ISSN: 1611-3349; 0302-9743 Origination: Footnote: