@article {CM-LNCS-06, title = {On the integration of UML and Petri nets in software development}, journal = {Lecture Notes in Computer Science}, volume = {4024}, year = {2006}, pages = {19-36}, publisher = {Springer-Verlag}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/06_CM_LNCS.pdf}, author = {J. Campos and Jos{\'e} Merseguer}, editor = {S. Donatelli and Thiagarajan} }