\input zb-basic
\input zb-ioport
\iteman{io-port 70443413}
\itemau{Vargas, Abigail Parisaca; Garis, Ana Gabriela; Tarifa, Silvia Lizeth Tapia; George, Chris}
\itemti{Model checking LTL formulae in RAISE with FDR}
\itemso{IFM, 231-245 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-00255-7\_16}
\end