\input zb-basic
\input zb-ioport
\iteman{io-port 70238367}
\itemau{Chopra, Amit K.; Dalpiaz, Fabiano; Giorgini, Paolo; Mylopoulos, John}
\itemti{Modeling and reasoning about service-oriented applications via goals and commitments}
\itemso{CAiSE, 113-128 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-13094-6\_10}
\end