Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns | Publicación