Applying Model Checking to Destructive Testing and Analysis of Software System. - Hiroki Kumamoto; Takahisa Mizuno; Kensuke Narita; Shin-ya Nishizaki (J. Softw., 2013)