Nancy A. Day. An example of linking formal methods with case tools: a model checker for statecharts. In Ann Gawman, Evelyn Kidd, Per-Åke Larson, editors, Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes. pages 97-107, IBM, 1993. [doi]
Abstract is missing.