A Security-enhanced Design Methodology for Embedded Systems. - Alberto Ferrante; Jelena Milosevic; Marija Janjusevic (SECRYPT, 2013)