TITLE : Composing event constraints in state-based specification AUTHOR(S) : Bolognesi T TYPE : Conference article YEAR : 2004 CODE : 183995 *** DO NOT EDIT THIS FILE ***