A formal modeling approach for supply chain event management Authors: Liu, Rong; Kumar, Akhil; van der Aalst, Wil Journal: Decision Support Systems (2007) DOI: 10.1016/j.dss.2006.12.009 View in Otero