TY  - RPRT
TI  - Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
AU  - K. Lano
AU  - S. Kolahdouz-Rahimi
AU  - K. Maroukian
PY  - 2013
DO  - 10.4204/eptcs.135.13
UR  - https://arxiv.org/abs/1312.0352
ID  - 1312.0352
ER  -