@techreport{weko_86122_1, author = "稲森,豊 and 山田,信幸", title = "車載Cプログラムの割込み競合の静的検出手法", year = "2012", institution = "(株)豊田中央研究所, アイシン精機(株)", number = "27", month = "oct" }