Florian, Mihai (2014) Analysis-Aware Design of Embedded Systems Software (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/VB1N-Y042 Florian, Mihai (2010) SCALE: Source Code Analyzer for Locating Errors (Thesis (Masters)), California Institute of Technology doi: 10.7907/KXWA-7Y81