Ben Chelf Christof Ebert Ensuring the Integrity of Embedded Software with Static Code Analysis. 96-99 2009 26 IEEE Software 3 http://dx.doi.org/10.1109/MS.2009.65 db/journals/software/software26.html#ChelfE09