Nikula, S, Martinie, C, Palanque, P, Hekkala, J, Latvala, O-M & Halunen, K 2022, Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC . in R Bernhaupt, C Ardito & S Sauer (eds), Human-Centered Software Engineering-9th IFIP WG 13.2 International Working Conference, HCSE 2022 : Proceedings . Springer, Lecture Notes in Computer Science, vol. 13482, pp. 70-89, 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, Netherlands, 24/08/22 . https://doi.org/10.1007/978-3-031-14785-2_5