Junjie Li, Jun Niu: Model checking spatial-temporal features of cascading failures in wireless sensor networks. Computing 107(11): 218 (2025)