An automaton-based approach to the verification of timed workflow schemas | IEEE Conference Publication | IEEE Xplore