Hans-Dieter Ehrich Maik Kollmann Ralf Pinger Checking Object System Designs Incrementally. 106-119 2003 9 J. UCS 2 http://www.jucs.org/jucs_9_2/checking_object_system_designs db/journals/jucs/jucs9.html#EhrichKP03