Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming - Va?í?ek O; Arias J; Fiedor J; Gupta G; Hall B; Bohuslav K; Larson B; Varanasi SC; Vojnar T (Ceur Workshop Proceedings, 2024)