Timed Parallel Automaton: A Mathematical Tool for Defining Highly Expressive Formal Workflows | Publicación