B. Zhong, C. Jordan, and P. Julien, "Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems", in ACM Transactions on Cyber-Physical Systems, Vol. 5, No. 2, Jan 2021.
B. Zhong, M. Zamani, and M. Caccamo, "Sandboxing controllers for stochastic cyber-physical systems.", in 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science, Amsterdam, Netherlands, Aug 2019.