Gujarati, A., Nasri, M., & Brandenburg, B. (2017). Lower-Bounding the MTTF for Systems with (m,k) Constraints and IID Iteration Failure Probabilities. In 2nd Workshop on the Security and Dependability of Critical Embedded Real-Time Systems (CERTS) 2017 (pp. 22-24).