A Formalism and Method for Representing and Reasoning with Process Models Authored by Subject Matter Experts | Publicación