@InProceedings{KMP+15,
author = {Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola and Patan\`e, Andrea},
title = {Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques},
booktitle = {Proceedings of the 4th International Workshop on Hybrid Systems and Biology (HSB 2015)},
publisher={Springer},
series={LNCS/LNBI},
pages={119--140},
volume={9271},
year = {2015}
}