\input zb-basic
\input zb-ioport
\iteman{io-port 70974202}
\itemau{Mendoza, Luis Eduardo; Capel, Manuel I.; Akhlaki, Kawtar Benghazi}
\itemti{Towards the correctness verifcation of business processes modelled with UML}
\itemso{JISBD, 159-170 (2008).}
\itemcc{}
\itemut{}
\itemli{}
\end