Marie-Lise Flottes R. Pires Bruno Rouzeyre Analyzing testability from behavioral to RT level. 158-165 1997 ED&TC http://dx.doi.org/10.1109/EDTC.1997.582352 conf/date/1997 db/conf/date/edtc1997.html#FlottesPR97