A Practical Study of Debugging Using Model Checking. - Hideto Ogawa; Makoto Ichii; Fumihiko Kumeno; Toshiaki Aoki (APSEC (2), 2013)