Formal approach to synthesis of a test controller | IEEE Conference Publication | IEEE Xplore