Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. - Bastian Schlich; Jann Löll; Stefan Kowalewski (FMICS, 2007)