\input zb-basic
\input zb-ioport
\iteman{io-port 70325532}
\itemau{Rodr{\'\i}guez, Carlos; S\'anchez, Mario; Villalobos, Jorge}
\itemti{Executable model composition: a multilevel approach}
\itemso{SAC, 877-884 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1982185.1982376}
\end