Thomas Baar Slavisa Markovic Frédéric Fondement Alfred Strohmeier Definition and Correct Refinement of Operation Specifications. 127-144 2006 conf/dics/2006 Research Results of the DICS Program http://dx.doi.org/10.1007/11808107_6 db/conf/dics/dics2006.html#BaarMFS06