@other{https://authors.library.caltech.edu/records/fdsg6-fgh34,
    author = "Filippidis, Ioannis and Murray, Richard M. and Holzmann, Gerard J.",
    title = "Synthesis from multi-paradigm specifications",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2015.003",
    id = "https://authors.library.caltech.edu/records/fdsg6-fgh34"
}