\input zb-basic
\input zb-ioport
\iteman{io-port 70102008}
\itemau{Hameurlain, Nabil}
\itemti{Flexible behavioural compatibility and substitutability for component protocols: A formal specification}
\itemso{SEFM, 391-400 (2007).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.19}
\end