Vasiliy Pinkevich. "COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY." SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 18th International Multidisciplinary Scientific GeoConference SGEM2018, Informatics, Geoinformatics and Remote Sensing, 2018, pp. 231-238. https://doi.org/10.5593/sgem2018/2.1/s07.030