A Logical Choice for Medical Device Software