Intents and Upgrades in Component-Based High-Assurance Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani (Model-Driven Software Development, 2005)

Safety Interfaces for Component-Based Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani; Marius Minea (SAFECOMP, 2005)

Safety-Oriented Design of Component Assemblies using Safety Interfaces. - Jonas Elmqvist; Simin Nadjm-Tehrani (FACS, 2006)

Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani (DATE, 2008)

Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani (HASE, 2008)