Huang, S., & Cleaveland, R. (2017). Query Checking for Linear Temporal Logic. Presented at the. Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67113-0_3 (Original work published 25 August 2017 C.E.)
