Deng Zhao, Zhangbing Zhou, Shuiguang Deng, Xiao Xue, Ruixi Pan, Jiangwei Li, Sami Yangui: BSTL: Bayesian Signal Temporal Logic for Predictive Edge Service Monitoring. ICWS 2025: 453-462