Shazia W. Sadiq Maria E. Orlowska Wasim Sadiq Specification and validation of process constraints for flexible workflows. 349-378 2005 30 Inf. Syst. 5 https://doi.org/10.1016/j.is.2004.05.002 db/journals/is/is30.html#SadiqOS05