G. Behrmann, K. G. Larsen, O. Moller, A. David, P. Pettersson et al., UPPAAL - present and future, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.2881-2886, 2001.
DOI : 10.1109/CDC.2001.980713
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6948

A. M. Bisantz, C. M. Burns, and E. Roth, Validating Methods in Cognitive Engineering: A Comparison of Two Work Domain Models, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, pp.521-525, 2002.
DOI : 10.1177/154193120204600364

A. M. Bisantz, E. Roth, B. Brickman, L. L. Gosbee, L. Hettinger et al., Integrating cognitive analyses into a large scale system design process, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, pp.434-438, 2001.
DOI : 10.1177/154193120104500436

B. Brykczynski and R. A. Small, Reducing Internet-based intrusions: Effective security patch management, IEEE Software, vol.20, issue.1, pp.50-57, 2003.
DOI : 10.1109/MS.2003.1159029

C. M. Burns, D. J. Bryant, and B. A. Chalmers, Boundary, Purpose, and Values in Work-Domain Models: Models of Naval Command and Control, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.35, issue.5, pp.603-616, 2005.
DOI : 10.1109/TSMCA.2005.851153

C. Chang, D. Tsai, and J. Tsai, A cross-site patch management model and architecture design for large scale heterogeneous environment, Security Technology, 2005. CCST '05. 39th Annual 2005 International Carnahan Conference on, pp.41-46, 2005.

C. Guychard, S. Guerin, A. Koudri, F. Dagnat, and A. Beugnard, Conceptual interoperability through Models Federation, Semantic Information Federation Community Workshop, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00905036

L. M. Jaworski, Tandem threat scenarios : a risk assessment approach, 16th National Computer Security Conference : Proceedings, pp.155-164, 1993.

D. Department, Department of Defense Handbook : System Security Engineering ? Program Management Requirements, MIL-HDBK-1785, 1995.

J. Seo, D. Choi, E. Park, T. Shon, and J. Moon, Patch management system for multiplatform environment, Parallel and Distributed Computing: Applications and Technologies: 5th International Conference Proceedings, pp.654-661, 2004.
DOI : 10.1007/978-3-540-30501-9_126

X. Sun, A. Singhal, and P. Liu, Who Touched My Mission, Proceedings of the 2015 Workshop on Automated Decision Making for Active Cyber Defense, SafeConfig '15, pp.21-26, 2015.
DOI : 10.1145/2809826.2809834