Diana Toma Dominique Borrione Ghiath Al Sammane Combining Several Paradigms for Circuit Validation and Verification. 229-249 http://dx.doi.org/10.1007/978-3-540-30569-9_12 2004 conf/cassis/2004 CASSIS db/conf/cassis/cassis2004.html#TomaBS04