Ghislaine Thuau Bachir Berkane A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. 259-276 1993 2 Formal Methods in System Design 3 db/journals/fmsd/fmsd2.html#ThuauB93