[1] Airlines Electronic Engineering Committee.ARINC661-5 cockpit display system interfaces to user systems[S].Annapolis:Aeronautical Radio,INC,2013.
[2] BARBONI E,NAVARRE D,PALANQUE P,et al.A formal description technique for interactive cockpit applications compliant with ARINC specification 661[C]//The 2th International Symposium on Industrial Embedded Systems,2007:250-257.
[6] NAVARRE D,PALANQUE P,BASNYAT S.A formal approach for user interaction reconfiguration of safety critical interactive systems[J].Lecture Notes in Computer Science,2008,5219:373-386.