publication venue for An analysis of two formal methods: RSL and Z 2001 Generating test case specifications of web service composition using model checking. 15:409. 2011 Transformation from computation independent model to platform independent model with pattern. 12:515-523. 2008
