Toward Formal Verification of ECU for Gasoline Direct Injection Engines | IEEE Conference Publication | IEEE Xplore