Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) | Publicación