Re: [LAD] Static verification of real-time safety