Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen. On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 10435-10444, IEEE Computer Society, 1998. [doi]
Abstract is missing.