Oscar Díaz Norman W. Paton Jon Iturrioz Formalizing and Validating Behavioral Models Through the Event Calculus. 179-196 1998 23 Inf. Syst. 3-4 db/journals/is/is23.html#DiazPI98 http://dx.doi.org/10.1016/S0306-4379(98)00008-8