Consistency Verification of Specification Rules. - Thai Son Hoang; Shinji Itoh; Kyohei Oyama; Kunihiko Miyazaki; Hironobu Kuruma; Naoto Sato (ICFEM, 2015)