The medical device industry has recently seen a troubling increase in recalls, often due to software failures or software-to-hardware miscommunication. The number of medical devices with software is also increasing, considering the rise in IoMT (Internet of Medical Things). These issues highlight the urgent need for thorough and robust [...]