Natallia Kokash Farhad Arbab Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. 21-41 2008 FMCO http://dx.doi.org/10.1007/978-3-642-04167-9_2 conf/fmco/2008 db/conf/fmco/fmco2008.html#KokashA08