Model-based development of sustainable cyber-physical systems including requirement formalization using the openModelica model-based development toolkit.

Peter Fritzson

Browse the full ECSA paper archive.