Franco Fummi, Mariagiovanna Sami, F. Tartarini. Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems. In 7th Great Lakes Symposium on VLSI (GLS-VLSI 97), 13-15 March 1997, Urbana, IL, USA. pages 118-123, IEEE Computer Society, 1997. [doi]
Abstract is missing.