“Finite State Models for the Optimization and Verification of Digital Systems,” 1993.