Analyzing behavioral properties of semantic business processes with parametric data | Publicación