Yoshitaka Aoki, Saeko Matsuura: A Method for Detecting Defects in Source Codes Using Model Checking Techniques. COMPSAC 2010: 543-544