[XKSS20] Xin Xin, Sye Loong Keoh, Michele Sevegnani and Martin Saerbeck. Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. In Proc. IEEE International Conference on Smart Internet of Things (IEEE SmartIoT 2020), pages 43-50. 2020. [Proposes a run-time verification framework for sensor networks based on probabilistic model checking and PRISM.]