A model driven approach for cardiac pacemaker design using a PRET processor