Šimoňák, Slavomír, and Martin Šolc. “Enhancing Formal Methods Integration With ACP2Petri”. Journal of Information and Organizational Sciences 40, no. 2 (December 9, 2016). Accessed April 19, 2024. //jios.foi.hr/index.php/jios/article/view/1063.