Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco  An accessible verification environment for UML models of services.  Journal of Symbolic Computation, 46 (2).  pp. 119-149.  ISSN 0747-7171      (2011)