TY  - RPRT
TI  - Model-Based Testing of Safety Critical Real-Time Control Logic Software
AU  - Yevgeny Gerlits
AU  - Alexey Khoroshilov
PY  - 2012
DO  - 10.4204/eptcs.80.10
UR  - https://arxiv.org/abs/1202.6127
ID  - 1202.6127
ER  -