吉岡 信和, 青木 利晃, 田原 康之, 萩谷 昌巳 (監修): SPINによる設計モデル検証—モデル検査の実践ソフトウェア検証，近代科学社(2008.09)