Design Methodologies for Secure Embedded Systems - Alexander Biedermann, H. Gregor Molter; Biedermann, Alexander; Molter, Gregor H (Springer Berlin Heidelberg, 2011)