[1] ARINC 661.Cockpit display system interfaces to user systems[S].America:Aeronautical Radio,INC,2007.
[2] BARBONI E,NAVARRE D,PALANQUE P,et al.A formal description technique for interactive cockpit applications compliant with ARINC specification 661[C]//Proceedings of SIES 2007-IEEE 2th International Symposium on Industrial Embedded Systems Lisbon,Portugal,2007(4/5/6):250-257.
[5] NAVARRE D,PALANQUE P,BASNYAT S.A formal approach for user interaction reconfiguration of safety critical interactive systems[C]//Safety,Reliability and Security, The 27th International Conference SAFECOMP,2008.doi:10.1007/978-3-540-87698-4_31.
[8] NAVARRE D,PALANQUE P,LADRY J F,et al.An architecture and a formal description technique for the design and implementation of reconfigurable user interfaces[C]//Interactive Systems,Design,Specification,and Ve-rification,The 15th International Workshop,2008:208-224.