\input zb-basic
\input zb-ioport
\iteman{io-port 70275249}
\itemau{Saad, Christian; Bauer, Bernhard}
\itemti{Applying data-flow analysis to models a novel approach for model analysis}
\itemso{SpringSim, 241 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1878537.1878788}
\end