\input zb-basic
\input zb-ioport
\iteman{io-port 70591903}
\itemau{Laouadi, Mohamed Amin; Mokhati, Farid; Seridi-Bouchelaghem, Hassina}
\itemti{A novel formal specification approach for real time multi-agent system functional requirements}
\itemso{MATES, 15-27 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-16178-0\_4}
\end