S. Šimoňák and M. Šolc, “Enhancing Formal Methods Integration with ACP2Petri”, J. inf. organ. sci. (Online), vol. 40, no. 2, Dec. 2016.