@other{https://thesis.library.caltech.edu/id/eprint/7990,
    author = "Florian, Mihai",
    title = "Analysis-Aware Design of Embedded Systems Software",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153",
    id = "https://thesis.library.caltech.edu/id/eprint/7990",
    doi = "10.7907/VB1N-Y042"
}


@other{https://thesis.library.caltech.edu/id/eprint/5718,
    author = "Florian, Mihai",
    title = "SCALE: Source Code Analyzer for Locating Errors",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677",
    id = "https://thesis.library.caltech.edu/id/eprint/5718",
    doi = "10.7907/KXWA-7Y81"
}