\input zb-basic
\input zb-ioport
\iteman{io-port 70688528}
\itemau{Lee, Edward A.; Sangiovanni-Vincentelli, Alberto L.}
\itemti{Component-based design for the future}
\itemso{DATE, 1029 (2011).}
\itemcc{}
\itemut{}
\itemli{http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=5763168}
\end