@inproceedings{Lü2011,Author = {Lüdtke, A., Javaux, D.},Title = {Techniques and Tools for Model-based Analysis of Pilot-Cockpit Interaction},Year = {2011},Month = {01},type = {inproceedings}}@COMMENT{Bibtex file generated on }