\input zb-basic
\input zb-ioport
\iteman{io-port 70899424}
\itemau{Cappello, Igor; Quaglia, Paola}
\itemti{A tool for checking probabilistic properties of COWS services}
\itemso{TGC, 364-378 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-15640-3\_24}
\end