Text this: Experimental verification of process models :