Gábor Kovács Zoltán Pap Dung Le Viet Antal Wu-Hen-Chang Gyula Csopaki Applying Mutation Analysis to SDL Specifications. 269-284 2003 conf/sdl/2003 SDL Forum http://link.springer.de/link/service/series/0558/bibs/2708/27080269.htm db/conf/sdl/sdl2003.html#KovacsPVWC03