A design methodology to realize delay testable controllers using state transition information | IEEE Conference Publication | IEEE Xplore