Security Integration in Medical Device Design: Extension of an Automated Bio-Medical Engineering Design Methodology. - Iyad Al Khatib; Gerardo Pelosi; Giovanni Agosta; Heikki Terio (ITNG, 2014)