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


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