Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004. ,
DOI : 10.1109/TDSC.2004.2
Beyond modelling, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.165-174, 2010. ,
DOI : 10.1145/1822018.1822043
Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.43, issue.6, 2013. ,
DOI : 10.1109/TSMC.2013.2256129
Safety-critical systems, formal methods and standards, Software Engineering Journal, vol.8, issue.4, pp.189-209, 1993. ,
DOI : 10.1049/sej.1993.0025
Task-model based assessment of automation levels: Application to space ground segments, 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp.3267-3273, 2011. ,
DOI : 10.1109/ICSMC.2011.6084173
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.23-33, 2013. ,
DOI : 10.1145/2501907.2501954
Model-based training, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.53-62, 2011. ,
DOI : 10.1145/1996461.1996495
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, IFIP TC13 Conference on Human-Computer Interaction, 2011. ,
DOI : 10.1007/978-3-642-23765-2_40
CTTE: support for developing and analyzing task models for interactive system design, IEEE Transactions on Software Engineering, vol.28, issue.8, pp.797-813, 2002. ,
DOI : 10.1109/TSE.2002.1027801
ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.373-386, 2009. ,
DOI : 10.1145/1614390.1614393
Autonomic fault mitigation in embedded systems, Engineering Applications of Artificial Intelligence, vol.17, issue.7, pp.711-725, 2004. ,
DOI : 10.1016/S0952-1976(04)00116-2
Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours, pp.109-130, 2004. ,
DOI : 10.1007/1-4020-8153-7_8
Preventing user errors by systematic analysis of deviations from the system task model, International Journal of Human-Computer Studies, vol.56, issue.2, 2002. ,
DOI : 10.1006/ijhc.2001.0523
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends, LNCS Reason J, vol.224, pp.510-584, 1986. ,
DOI : 10.1007/BFb0027047
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, pp.1809-1816, 2011. ,
DOI : 10.1109/PRDC.2011.28