Automated Technology for Verification and Analysis - Namjoshi, Kedar S.; Higashino, Teruo; Okamura, Yoshio; Yoneda, Tomohiro (Springer Berlin Heidelberg, 2007)