[LAD] Static verification of real-time safety