Specifying and proving properties of timed I/O automata in the TIOA toolkit | IEEE Conference Publication | IEEE Xplore