@other{https://resolver.caltech.edu/CaltechAUTHORS:20191028-150942118,
    title = "Tau -- a lightweight tool for specifying and verifying tiny automata models",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191028-150942118",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515,
    title = "A multi-paradigm language for reactive synthesis",
    journal = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515",
    id = "record",
    issn = "2075-2180",
    doi = "10.4204/EPTCS.202.6",
    volume = "202"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2015.003,
    title = "Synthesis from multi-paradigm specifications",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2015.003",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140804-125108488,
    title = "SPIN 2014",
    chapter = "An Improvement of the Piggyback Algorithm for Parallel Model Checking",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140804-125108488",
    id = "record",
    isbn = "978-1-4503-2452-6",
    doi = "10.1145/2632362.2632375"
}