\input zb-basic
\input zb-ioport
\iteman{io-port 70011105}
\itemau{Schneider, Daniel; Trapp, Mario}
\itemti{A safety engineering framework for open adaptive systems}
\itemso{SASO, 89-98 (2011).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/SASO.2011.20}
\end