@other{https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471,
    title = "Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471",
    id = "record",
    doi = "10.7907/Z9Q52MTD"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:12312015-131513787,
    title = "Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechTHESIS:12312015-131513787",
    id = "record",
    doi = "10.7907/Z94Q7RW3"
}


@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:05312013-103940337,
    title = "Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337",
    id = "record",
    doi = "10.7907/QDJN-BB72"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546,
    title = "Applying Formal Methods to Distributed Algorithms Using Local-Global Relations  ",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546",
    id = "record",
    doi = "10.7907/8FRW-ZF17"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667,
    title = "Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667",
    id = "record",
    doi = "10.7907/XZ3X-7V51"
}