[DMJ18] Kai Ding, Andrey Morozov and Klaus Janschek. Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption. In Proc. IEEE 29th International Symposium on Software Reliability Engineering (ISSRE'18), pages 47-57. 2018. [Proposes a method for formal system reliability evaluation, based on the tool OpenErrorPro and using PRISM as a backend.]