Verification of Real-Time Systems using Linear Relation Analysis. - Nicolas Halbwachs; Yann-Erick Proy; Patrick Roumanoff (Formal Methods Syst. Des., 1997)