Šimoňák, S., & Šolc, M. (2016). Enhancing Formal Methods Integration with ACP2Petri. Journal of Information and Organizational Sciences, 40(2). https://doi.org/10.31341/jios.40.2.4