Title: モデルチェッカを用いた要求仕様の法令準拠性の検査 Author(s): 佐伯 元司, 海谷 治彦, 服部 哲. Source: 電子情報通信学会技術研究報告, Vol. 108, No. 362, SS2008-41, pp. 13-18, 高知, Dec. 2008. ソフトウェアサイエンス研究会 (SS)