Martin Wirsing Allan Clark Stephen Gilmore Matthias M. Hölzl Alexander Knapp Nora Koch Andreas Schroeder Semantic-Based Development of Service-Oriented Systems. 24-45 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_3 db/conf/forte/forte2006.html#WirsingCGHKKS06