Ahmed Shah Mashiyat Fazle Rabbi Hao Wang Wendy MacCaull An Automated Translator for Model Checking Time Constrained Workflow Systems. 99-114 2010 FMICS http://dx.doi.org/10.1007/978-3-642-15898-8_7 conf/fmics/2010 db/conf/fmics/fmics2010.html#MashiyatRWM10