@article{https://resolver.caltech.edu/CaltechAUTHORS:20190402-110054908,
    title = "O-GlcNAcylation of core components of the translation initiation machinery regulates protein synthesis",
    journal = "Proceedings of the National Academy of Sciences of the United States of America",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190402-110054908",
    id = "record",
    issn = "0027-8424",
    doi = "10.1073/pnas.1813026116",
    volume = "116",
    pmcid = "PMC6475381"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190327-154909216,
    title = "Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution",
    journal = "IEEE Transactions on Control of Network Systems",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190327-154909216",
    id = "record",
    issn = "2325-5870",
    doi = "10.1109/TCNS.2015.2401174",
    volume = "2"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257,
    title = "Control Software Synthesis and Validation for a Vehicular
 Electric Power Distribution Testbed",
    journal = "Journal of Aerospace Information Systems",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257",
    id = "record",
    issn = "1940-3151",
    doi = "10.2514/1.I010167",
    volume = "11"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962,
    title = "A Contract-Based Methodology for Aircraft Electric Power System Design",
    journal = "IEEE Access",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962",
    id = "record",
    issn = "2169-3536",
    doi = "10.1109/ACCESS.2013.2295764",
    volume = "2"
}