Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming | Publicación