『厳密な仕様記述における形式手法成功事例調査報告書』