Translating a VDM Model of a Medical Device into Kapture. - Joe Hare; Leo Freitas; Ken Pierce (CoRR, 2025)