Jan Romberg Jan Jürjens Guido Wimmel Oscar Slotosch Gabor Hahn AutoFOCUS and the MoDe Tool. 249-250 2003 conf/acsd/2003 ACSD http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870249.pdf db/conf/acsd/acsd2003.html#RombergJWSH03