Media type: E-Article Title: Validating Avionics Conceptual Architectures with Executable Specifications Contributor: Nils Fischer; Horst Salzwedel imprint: 2012 Published in: Journal of Systemics Language: English ISSN: 1690-4524 Origination: Footnote: Access State: Open Access