Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Testability Analysis and ATPG on Behavioral RT-Level VHDL. ITC 1997: 753-759