形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究 - 荒木, 啓二郎 (科学研究費補助金(基盤研究(C)(1))研究成果報告書, 2002)