A language for compositional specification and verification of finite state hardware controllers - Clarke, E. M.; Long, D. E.; MacMillan, K. L. (1989)