@article{https://authors.library.caltech.edu/records/q8cvf-zyk68,
    author = "Filippidis, Ioannis and Murray, Richard M. and Holzmann, Gerard J.",
    title = "A multi-paradigm language for reactive synthesis",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515",
    id = "https://authors.library.caltech.edu/records/q8cvf-zyk68",
    issn = "2075-2180",
    doi = "10.4204/EPTCS.202.6",
    volume = "202",
    pages = "73-97"
}