Techniques for Formal Verification of Digital Systems: A System Approach. - Hamid Shojaei; Habib Ghayoumi (DSD, 2004)