@techreport{weko_182694_1, author = "日下部,茂", title = "システム理論に基づくSTAMP/STPAを用いたソフトウェアアーキテクチャ分析の提案", year = "2017", institution = "長崎県立大学", number = "16", month = "jul" }