selected publications academic article Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling. 5:187-207. 2006 conference paper Modeling and validation of service-oriented architectures. . 2003 Modeling and validation of service-oriented architectures. . 2003