Model-based testing of real-time distributed systems = Reaalaja hajussüsteemide mudelipõhine testimine
Pal, Deepak
2020
https://www.ester.ee/record=b5389209*est
https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe