https://1library.net/document/ky60m7gy-application-abstract-interpretation-automotive-electronic-control.html