Šimoňák, S., and M. Šolc. “Enhancing Formal Methods Integration With ACP2Petri”. Journal of Information and Organizational Sciences, vol. 40, no. 2, Dec. 2016, doi:10.31341/jios.40.2.4.