Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat. A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. In IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. pages 250-257, IEEE, 2007. [doi]
Abstract is missing.