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

Publication
Proceedings - 2017 IEEE 20th International Symposium on Real-Time Distributed Computing, ISORC 2017