selected publications conference paper Formal approach for generating privacy preserving user requirements-based business process fragments. . 2014