Formal tasks and systems models as a tool for specifying and assessing automation designs. - Célia Martinie; Philippe A. Palanque; Eric Barboni; Marco Winckler; Martina Ragosta; Alberto Pasquini; Paola Lanzi (ATACCS, 2011)

Task-model based assessment of automation levels: Application to space ground segments. - Célia Martinie; Philippe A. Palanque; Eric Barboni; Martina Ragosta (SMC, 2011)

Using complementary models-based approaches for representing and analysing ATM systems' variability. - Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta; E. Rigaud; Sara Silvagni (ATACCS, 2012)

Model-based dynamic distribution of user interfaces of critical interactive systems. - David Navarre; Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta (ATACCS, 2013)

Extending procedural task models by systematic explicit integration of objects, knowledge and information. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Racim Fahssi (ECCE, 2013)

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Mark-Alexander Sujan; David Navarre; Alberto Pasquini (SAFECOMP, 2013)

Towards a measure of Resilience. - Alberto Pasquini; Martina Ragosta; Ivonne A. Herrera; Audun Vennesland (ATACCS, 2015)

Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. - Martina Ragosta; Célia Martinie; Philippe A. Palanque; David Navarre; Mark-Alexander Sujan (ATACCS, 2015)

Stress Assessment by Combining Neurophysiological Signals and Radio Communications of Air Traffic Controllers. - Gianluca Borghini; Andrea Bandini; Silvia Orlandi; Gianluca Di Flumeri; Pietro Aricò; Nicolina Sciaraffa; Vincenzo Ronca; Stefano Bonelli; Martina Ragosta; Paola Tomasello; Ugur Turhan; Birsen Açikel; et al. (EMBC, 2020)