Boris Shishkov Marten van Sinderen Bedir Tekinerdogan Model-Driven Specification of Software Services. 13-21 2007 ICEBE http://dx.doi.org/10.1109/ICEBE.2007.86 conf/icebe/2007 db/conf/icebe/icebe2007.html#ShishkovST07