Toward Formal Verification of ECU for Gasoline Direct Injection Engines. - Masato Yamauchi; Nobuhiro Ito; Yoshinobu Kawabe (IIAI-AAI, 2014)

Verifying ignition timing of gasoline direct injection engine's PCM. - Masato Yamauchi; Nobuhiro Ito; Yoshinobu Kawabe (ICIS, 2015)