Application of Abstract Interpretation to the Automotive Electronic Control System. - Tomoya Yamaguchi 001; Martin Brain; Chirs Ryder; Yosikazu Imai; Yoshiumi Kawamura (VMCAI, 2019)