Y. D. Asnar, M. Felici, F. Massacci, A. Tedeschi, and A. Yautsiukhin, Quantitative Assessment for Organisational Security & Dependability, 2009 Second International Conference on Dependability, 2009.
DOI : 10.1109/DEPEND.2009.12

P. Giorgini, M. Kolp, J. Mylopoulos, and M. Pistore, The Tropos Methodology, 2004.
DOI : 10.1007/1-4020-8058-1_7

I. Hadar, I. Reinhartz-berger, T. Kuflik, A. Perini, F. Ricca et al., An empirical study of requirements model understanding, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, 2010.
DOI : 10.1145/1774088.1774569

C. Martinie, P. Palanque, E. Barboni, and M. Ragosta, Task-model based assessment of automation levels: Application to space ground segments, 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp.15-18, 2011.
DOI : 10.1109/ICSMC.2011.6084173

C. Martinie, P. Palanque, E. Barboni, M. Winckler, M. Ragosta et al., Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper), 1st international Conference on Application and Theory of Automation in Command and Control Systems, 2011.

L. Macchi, E. Hollnagel, and J. Leonhard, Resilience Engineering Approach to Safety Assessment: An Application of FRAM for the MSAW system, Proceedings of Eurocontrol Safety R&D Seminar, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00572933

R. Parasuraman, T. B. Sheridan, and C. D. Wickens, A model for types and levels of human interaction with automation, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.30, issue.3, pp.286-297, 2000.
DOI : 10.1109/3468.844354

F. Paterno, C. Mancini, and S. Meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, Proc. of Interact'97, pp.362-369, 1997.
DOI : 10.1007/978-0-387-35175-9_58

D. Taurino, A. Tedeschi, A. Sanchez, A. Flores, R. Sysala et al., Adaptive Routing and Conflict Management for Unmanned Aircraft Vehicles, IASTED Technology Conferences / 705: ARP / 706: RA / 707: NANA / 728: CompBIO, 2010.
DOI : 10.2316/P.2010.706-026