Ensuring the Integrity of Embedded Software with Static Code Analysis. - Ben Chelf; Christof Ebert (IEEE Softw., 2009)