Enhancing temporal testability and its effects on design and test generation | IEEE Conference Publication | IEEE Xplore