Modeling and Verification of Chess Game Using NuSMV. - Vikram Saralaya; J. K. Kishore; Sateesh Reddy; Radhika M. Pai; Sanjay Singh 002 (ACC (2), 2011)