Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimine
Kull, Andres
2009
https://www.ester.ee/record=b2539853*est