Henrik Lönn

Key Considerations in the Translation of Legacy Embedded Control Software to Model Based Executable Specifications

Karl-Erik Årzén, Sébastien Gérard, Martin Törngren, 2006 .

Analyzing Industrial Simulink Models by Statistical Model Checking

Oscar Ljungkrantz, Cristina Seceleanu, Raluca Marinescu, 2017 .

Efficient TDMA synchronization for distributed embedded systems

Neeraj Suri, Vilgot Claesson, Henrik Lönn, 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.

Addressing model complexity in automotive system development: Selection of system model elements for allocation of requirements

Richard Berntsson-Svensson, Urban Ingelsson, Henrik Kaijser, 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Automatic optimisation of system architectures using EAST-ADL

Yiannis Papadopoulos, Sara Tucci Piergiovanni, David Servat, 2013, J. Syst. Softw..

Definition of language for automotive embedded electronic architecture description (ADL V0.5)

Ulrich Freund, Mark-Oliver Reiser, Jörn Migge, 2003 .