Paving the Way towards Semi-automatic Design-Time Business Process Model Obfuscation · Study