VxWorks Vulnerabilities in Medical Devices