Translational Semantics. A substantial extension in the MLS 3.3 was the integration of language elements moti- vated by synchronous languages like Lustre, Esterel, or Signal [BEH+03]. The synchronous- language paradigm has been particularly successful in the development of safety-critical control software likeflight control systems. Xxxxxx et al. [ TKF15] discuss an approach that leverages the synchronous-language elements extension of Modelica to enable a model- based development process for safety-related applications. For that, they aim at map- ping a Modelica subset for digital control-function development to a well understood synchronous data-flow kernel language. That mapping is established by providing a translational semanticsfrom the Modelica subset to the synchronous data-flow kernel language. 2xxxx://xxx.xxx.xxx.se/labs/pelab/ (Oct, 2015). 3xxxx://xxxxxx.xxxxxx.xx/project/rcn/111584_en.pdf , (Nov, 2015). 4xxxx://xxx.xxxxxxxxx.xxx/ (Oct, 2015).
