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