Xiaoyi Zhang，Paolo Arcaini，石川 冬樹の三氏による論文が国際会議 ICECCS 2019 — the 24th International Conference on Engineering of Complex Computer Systems — で最優秀論文賞を受賞しました.
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199. [ieee]
著者の三氏は ERATO MMSD プロジェクトのメンバーです（グループ３，石川冬樹グループリーダー）．
ICECCS は形式手法分野のトップ国際会議の一つです（CORE rank A）．昨年の受賞に続き，ERATO MMSD プロジェクトから2年連続の最優秀論文賞受賞となります．