A model driven approach for cardiac pacemaker design using a PRET processorN. Allen, H. Pearce, P. Roop, R. Von HanxledenJan 1, 2017DOI URL