Formalizing and validating behavioral models through the event calculus | Publicación