Drupal-Bibcite47<style face="normal" font="default" size="100%">Cybercardia project: Modeling, verification and validation of implantable cardiac devices</style>