Ian Toyn, Andy Galloway. Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 104-123, Springer, 2005. [doi]
Abstract is missing.