Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods | IEEE Conference Publication | IEEE Xplore