Bastian Schlich Jann Löll Stefan Kowalewski Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. 21-37 2007 FMICS http://dx.doi.org/10.1007/978-3-540-79707-4_4 conf/fmics/2007 db/conf/fmics/fmics2007.html#SchlichLK07