Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols. A Tool for Practical Reasoning about State Machine Designs. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 16-26, IEEE Computer Society, 1996. [doi]
Abstract is missing.