Linköping Studies in Science and Technology Thesis No. 1317
Components, Safety Interfaces,
and Compositional Analysis
by
Jonas Elmqvist
Submitted to Linköping Institute of Technology at Linköping University in partial fulfilment of the requirements for the degree of Licentiate of Engineering
Department of Computer and Information Science Linköpings universitet
SE-581 83 Linköping, Sweden