Seung Mo Cho Doo-Hwan Bae Sung Deok Cha Young Gon Kim Byung Kyu Yoo Sang Taek Kim Applying Model Checking to Concurrent Object-Oriented Software. 380-383 1999 ISADS http://computer.org/proceedings/isads/0137/01370380abs.htm db/conf/isads/isads1999.html#ChoBCKYK99