Weiwei Ai, Nitish D. Patel, Partha S. Roop: Requirements-centric closed-loop validation of implantable cardiac devices. DATE 2016: 846-849