Rettberg, A.2022-03-022022-03-0220050-387-27557-6https://publica.fraunhofer.de/handle/publica/142445From specification to embedded systems application