[KATH13] Adil Khurram, Haider Ali, Arham Tariq and Osman Hasan. Formal Reliability Analysis of Protective Relays in Power Distribution Systems. In Proc. International Workshop on Formal Methods for Industrial Critical Systems (FMICS'13), pages 169-183, Springer. 2013. [Models and verifies power distribution relays using PRISM.]
Notes: The original publication is available at link.springer.com.