An implementation of three algorithms for timing verification based on automata emptiness | IEEE Conference Publication | IEEE Xplore