Model Checking of Optimal LTL and ASAP Properties. - Davide Bresolin; Filippo Fantinato; Stefano Tonetta (OVERLAY, 2024)