Béatrice Bérard Laurent Fribourg Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol. 96-107 http://dx.doi.org/10.1007/3-540-48683-6_11 1999 conf/cav/1999 CAV db/conf/cav/cav99.html#BerardF99