Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.

Wing Lok Yeung Karl R. P. H. Leung Ji Wang Wei Dong Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. 97-107 2006 conf/vveis/2006 MSVVEIS db/conf/vveis/msvveis2006.html#YeungLWD06