Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example. - Frank Alexander Kraemer; Vidar Slåtten; Peter Herrmann (SDL Forum, 2009)

Tool support for the rapid composition, analysis and implementation of reactive services. - Frank Alexander Kraemer; Vidar Slåtten; Peter Herrmann (J. Syst. Softw., 2009)

Model-Driven Engineering of Dependable Systems. - Vidar Slåtten (ICST, 2010)

Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. - Vidar Slåtten; Frank Alexander Kraemer; Peter Herrmann (SERENE, 2010)

Contracts for Multi-instance UML Activities. - Vidar Slåtten; Peter Herrmann (FMOODS/FORTE, 2011)

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. - Vidar Slåtten; Frank Alexander Kraemer; Peter Herrmann (GPCE, 2011)

Modeling a distributed intrusion detection system using collaborative building blocks. - Linda Ariani Gunawan; Michael Vogel; Frank Alexander Kraemer; Sebastian Schmerl; Vidar Slåtten; Peter Herrmann; Hartmut König (ACM SIGSOFT Softw. Eng. Notes, 2011)

Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey. - Vidar Slåtten; Peter Herrmann; Frank Alexander Kraemer (Adv. Comput., 2013)

Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification. - Vidar Slåtten (2014)