Rong Liu Akhil Kumar Wil M. P. van der Aalst A formal modeling approach for supply chain event management. 761-778 2007 43 Decision Support Systems 3 http://dx.doi.org/10.1016/j.dss.2006.12.009 db/journals/dss/dss43.html#LiuKA07