https://123dok.net/document/oz1lv0dq-rosace-case-study-simulink-specification-multi-core-execution.html