Masaki Ishiguro, Kazuyuki Tanaka, Shin Nakajima, Akihiro Umemura, Tomoji Kishi, A Guidance and Methodology for Employing Model-Checking in Software Development, APESER: Asia-Pacific Embedded Systems Education and Research Conference, December 14-15, 2009
石黒正揮,ソフトウェア開発における形式手法導入に関する課題と解決アプローチ, 先端ソフトウェア工学に関するGrace 国際シンポジウム,形式手法の産業応用ワークショップ2010,WIAFM2010: Workshop on Industrial Applications of Formal Methods, p.41-48, 2010年3月15日, 国立情報学研究所, Grace-TR-2010-03