"PMC7242053" . . "Tsiopoulos, Leonidas" . . "9b42add7d6e9d4871886499b482c65eacd5a8c50" . "Vain, J\u00FCri" . "Rigorous State-Based Methods" . "10.1007/978-3-030-48077-6_13" . . . . "Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes" . "PMC" . "no-cc" . "2020-04-22"^^ . . "Shokri-Manninen, Fatima" . . "Wald\u00E9n, Marina" . .