Analysis-Level Classes from Secure Business Processes Through Model Transformations · Study