Paolo Camurati, Marco Gilli, Paolo Prinetto, Matteo Sonza Reorda. Proving finite state machines correct with an automaton-based method. In First Great Lakes Symposium on VLSI, 1991, Kalamazoo, MI, USA, March 1-2, 1991. pages 255-258, IEEE, 1991. [doi]
Abstract is missing.