Model Checking the Java Meta-Locking Algorithm. - Samik Basu 001; Scott A. Smolka; Orson R. Ward (ECBS, 2000)