Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel. Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. In Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger, editors, Correct Software in Web Applications and Web Services. pages 45-81, Springer, 2015. [doi]