Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems. - Franco Fummi; Mariagiovanna Sami; F. Tartarini (Great Lakes Symposium on VLSI, 1997)