Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. - Fatima Shokri-Manninen; Leonidas Tsiopoulos; Jüri Vain; Marina Waldén (ABZ, 2020)

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. - Fatima Shokri-Manninen; Jüri Vain; Marina Waldén (SEFM, 2020)

Applying guidelines for system modelling in Event-B - a systematic literature review. - Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Waldén (Int. J. Crit. Comput. Based Syst., 2020)