Chun Ouyang Eric Verbeek Wil M. P. van der Aalst Stephan Breutel Marlon Dumas Arthur H. M. ter Hofstede WofBPEL: A Tool for Automated Analysis of BPEL Processes. 484-489 2005 conf/icsoc/2005 ICSOC http://dx.doi.org/10.1007/11596141_37 db/conf/icsoc/icsoc2005.html#OuyangVABDH05