Formal validation and verification of a medical software critical component | IEEE Conference Publication | IEEE Xplore