@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 }