@conference {,
	title = {Temporal-logic query checking over finite data streams},
	booktitle = {International Conference on Formal Methods for Industrial Critical Systems},
	year = {2020},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	author = {Huang, Samuel and Cleaveland, Rance}
}
