Model-Based Testing of Safety Critical Real-Time Control Logic Software - Yevgeny Gerlits; Alexey V. Khoroshilov (MBT, 2012)