Injector and Extractor for transformations between business processes and business process models | IEEE Conference Publication | IEEE Xplore