\input zb-basic
\input zb-ioport
\iteman{io-port 70361555}
\itemau{Delange, Julien; Pautet, Laurent; Feiler, Peter H.}
\itemti{Validating safety and security requirements for partitioned architectures}
\itemso{Ada-Europe, 30-43 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-01924-1\_3}
\end