F. Fummi;D. Sciuto
-;-
Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal
IEEE Transactions on Computers
A Hierarchical Test Generation Approach for Large Controllers