E. Barboni, C. Martinie, D. Navarre, P. Palanque, and M. Winckler, Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language, Science of Computer Programming, vol.86, pp.3-29, 2014.
DOI : 10.1016/j.scico.2013.04.001
URL : https://hal.archives-ouvertes.fr/hal-01119843

R. Bernhaupt, M. Cronel, F. Manciet, C. Martinie, P. Palanque et al., Transparent Automation for Assessing and Designing better Interaction for Partially Autonomous Interactive Systems, ATACCS, pp.41-49, 2015.
DOI : 10.1145/2899361.2899375

R. Bernhaupt, G. A. Boy, M. Feary, and P. Palanque, Engineering automation in interactive critical systems, Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems, CHI EA '11, pp.69-72
DOI : 10.1145/1979742.1979524

G. A. Boy, Cognitive function analysis for human-centered automation of safety-critical systems, Proceedings of the SIGCHI conference on Human factors in computing systems, CHI '98, pp.265-272, 1998.
DOI : 10.1145/274644.274682

H. Network, Higher Automation Levels in ATM. http://www.hala-sesar.net/. Last accessed on, 2015.

C. Martinie, P. Palanque, E. Barboni, and M. Ragosta, Taskmodel based assessment of automation levels: Application to space ground segments, SMC, vol.2011, pp.3267-3273

C. Martinie, P. Palanque, M. Ragosta, and R. Fahssi, Extending procedural task models by systematic explicit integration of objects, knowledge and information, Proceedings of the 31st European Conference on Cognitive Ergonomics, ECCE '13, pp.1-2310
DOI : 10.1145/2501907.2501954

C. Martinie, P. Palanque, and M. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, INTERACT LNCS, issue.3, pp.589-609, 2011.
DOI : 10.1007/978-3-642-23765-2_40

C. Martinie, E. Barboni, D. Navarre, P. Palanque, R. Fahssi et al., Multimodels-based engineering of collaborative systems: application to collision avoidance operations for spacecraft, Proc. of EICS 2014, pp.85-94

C. Martinie, D. Navarre, and P. Palanque, A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems, International Journal of Human-Computer Studies, vol.72, issue.1, pp.77-99, 2014.
DOI : 10.1016/j.ijhcs.2013.08.013
URL : https://hal.archives-ouvertes.fr/hal-01130579

C. Martinie, P. Palanque, A. Pasquini, M. Ragosta, E. Rigaud et al., Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability, ATACCS 2012, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776429

C. Martinie, P. Palanque, and M. Ragosta, Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems, ACM CHI conference (Workshop on End-user Interactions with Intelligent and Autonomous Systems) 2012, pp.25-30

C. Martinie, P. Palanque, M. Ragosta, M. A. Sujan, and D. Navarre, Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study, SAFECOMP 2013, 2013.
DOI : 10.1007/978-3-642-40793-2_20
URL : https://hal.archives-ouvertes.fr/hal-01223183

C. Martinie, P. Palanque, M. Winckler, and S. Conversy, DREAMER, Proceedings of the 28th ACM International Conference on Design of Communication, SIGDOC '10, pp.73-80
DOI : 10.1145/1878450.1878463
URL : https://hal.archives-ouvertes.fr/hal-01022256

P. Palanque and C. Martinie, Designing and Assessing Interactive Systems Using Task Models, CHI Extended Abstracts, vol.2015, pp.2465-2466
DOI : 10.1145/2851581.2856686
URL : https://hal.archives-ouvertes.fr/hal-01371784

P. Palanque, R. Bernhaupt, F. Montesano, and C. Martinie, Exploiting gaming research and practice for engineering interactive critical systems, ATACCS, pp.41-49, 2011.

E. Palmer, Oops, it didn't arm -A Case Study of Two Automation Surprises, 8th International Symposium on Aviation Psychology, 1995.

M. Ragosta, C. Martinie, P. Palanque, D. Navarre, and M. Sujan, Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. ATACCS 2015, ACM DL 21. SESAR, Single European Sky initiative, pp.64-75, 2015.

. Spad, System Performance under Automation Degradation. http://www.hala-sesar.net/projects/spad. Last accessed on, 2015.

T. Tasks, Operations, Reliability & Training for Users of Ground Applications, 2015.