Šimoňák, S.; Šolc, M. Enhancing Formal Methods Integration With ACP2Petri. J. inf. organ. sci. (Online) 2016, 40.