Li Lu Mengchi Liu Guoren Wang 2003 conf/caise/2003fo CAiSE Short Paper Proceedings http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-74/files/FORUM_01.pdf db/conf/caise/caisefo2003.html#LuLW03