Mian, Zhibao, Bottaci, Leonardo, Jiang, Jiulei, He, Jun, Yu, Qiancheng, Wang, Xiaofeng, "A dependability modeling and analysis approach for an IoP-based service system", , 2025