\input zb-basic
\input zb-ioport
\iteman{io-port 50094365}
\itemau{Popova, Viara; Sharpanskykh, Alexei}
\itemti{Formal analysis of executions of organizational scenarios based on process-oriented specifications}
\itemso{Appl. Intell. 34, No. 2, 226-244 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/s10489-009-0192-9}
\end