Application of abstract interpretation to the automotive electronic control system by Nyx Brain, M, Yamaguchi, T, Brain, M, Ryder, C, Imai, Y, Kawamura, Y