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