鈥淔inite State Models for the Optimization and Verification of Digital Systems,鈥� 1993.