Tong Zheng Ferhat Khendek Benoit Parreaux 234-250 2003 conf/sdl/2003 SDL Forum http://link.springer.de/link/service/series/0558/bibs/2708/27080234.htm db/conf/sdl/sdl2003.html#ZhengKP03