An evaluation of free/open source static analysis tools applied to embedded software. - Lucas Torri; Guilherme Fachini; Leonardo Steinfeld; Vesmar Camara; Luigi Carro; Érika F. Cota (LATW, 2010)