A language for compositional specification and verification of finite state hardware controllers - Clarke, E. M.; Long, D. E.; MacMillan, K. L. (Carnegie-Mellon University <Pittsburgh> / Computer Science Department: CMU-CS, 1989)