https://5dok.net/document/wye05g0q-challenges-using-sound-complete-static-analysis-industrial-software.html