Temporal Automaton RVTI-Grammar for the Diagrammatic Design Workflow Models Analysis | IEEE Conference Publication | IEEE Xplore