Xinli Gu: RT level testability-driven partitioning. VTS 1995: 176-183