Šimoňák, Slavomír, and Martin Šolc. 2016. “Enhancing Formal Methods Integration With ACP2Petri”. Journal of Information and Organizational Sciences 40 (2). https://doi.org/10.31341/jios.40.2.4.