\input zb-basic
\input zb-ioport
\iteman{io-port 70145508}
\itemau{Akhlaki, Kawtar Benghazi; Hurtado, Mar{\'\i}a Visitaci\'on; Rodr{\'\i}guez, Mar{\'\i}a Luisa; Noguera, Manuel}
\itemti{Applying formal verification techniques to ambient assisted living systems}
\itemso{OTM Workshops, 381-390 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-05290-3\_50}
\end