أرسل هذا في رسالة قصيرة: Quantitative Verification of Implantable Cardiac Pacemakers