UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems. - Mauro Prevostini; Giuseppe Piscopo; I. Stefanini (FDL, 2004)