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