Towards an Automated Test Generation with Delayed Transitions for Timed Systems | IEEE Conference Publication | IEEE Xplore