\input zb-basic
\input zb-ioport
\iteman{io-port 70313143}
\itemau{Oldevik, Jon; Haugen, {\o}ystein}
\itemti{Semantics preservation of sequence diagram aspects}
\itemso{ECMDA-FA, 215-230 (2008).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-69100-6\_15}
\end