Querying process models by behavior inclusion Article in Software and Systems Modeling (December 2013)