@inproceedings{AllenPRvH17, author = {Nathan Allen and Hammond A. Pearce and Partha S. Roop and Reinhard von Hanxleden}, title = {A Model Driven Approach for Cardiac Pacemaker Design Using a {PRET} Processor}, booktitle = {20th {IEEE} International Symposium on Real-Time Distributed Computing, {ISORC} 2017, Toronto, ON, Canada, May 16--18}, pages = {168--175}, year = {2017}, }