Securing energy metering software with automatic source code correction
Undecidability of static analysis