Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden. A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. In 20th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2017, Toronto, ON, Canada, May 16-18, 2017. pages 168-175, IEEE Computer Society, 2017. [doi]
Abstract is missing.