Cybercardia project: Modeling, verification and validation of implantable cardiac devices