%0 Conference Paper %A Kausch, Hendrik %A Pfeiffer, Mathias %A Raco, Deni %A Rumpe, Bernhard %T Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams %V 2814 %C Aachen, Germany %I RWTH Aachen %M RWTH-2021-05459 %B CEUR workshop proceedings %P 1-22 %D 2021 %< SE-SE 2021 : Software Engineering 2021 Satellite Events - Workshops and Tools & Demos : Braunschweig/Virtual, Germany, February 22 - 26, 2021 : Proceedings of the Software Engineering 2021 Satellite Events / Edited by Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann %B 3. Workshop on Avionics Systems and Software Engineering %C 22 Feb 2021 - 26 Feb 2021, online () Y2 22 Feb 2021 - 26 Feb 2021 M2 online, %F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 %9 Contribution to a bookContribution to a conference proceedings %R 10.18154/RWTH-2021-05459 %U https://publications.rwth-aachen.de/record/820146