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