Plan & Metric Driven Mixed-Signal Verification for Medical Devices