@InProceedings{KMPP15,
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 = {Hybrid Systems and Biology (HSB 2015)},
publisher={Springer},
series={LNCS/LNBI},
pages={119--140},
volume={9271},
year = {2015},
url = {https://link.springer.com/chapter/10.1007/978-3-319-26916-0_7},
doi = {10.1007/978-3-319-26916-0_7}
}