A Test Generation Method for Data Paths Using Easily Testable Functional Time Expansion Models and Controller Augmentation | IEEE Conference Publication | IEEE Xplore