Temporal Modeling of Workflows with Conditional Execution Paths · Study