\input zb-basic
\input zb-ioport
\iteman{io-port 70202434}
\itemau{Wimmer, Manuel; Kappel, Gerti; Sch\"onb\"ock, Johannes; Kusel, Angelika; Retschitzegger, Werner; Schwinger, Wieland}
\itemti{A Petri net based debugging environment for QVT relations}
\itemso{ASE, 3-14 (2009).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/ASE.2009.99}
\end