h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Dehn, Simon Michael
%A Jacobs, Georg
%A Höck, Philipp
%A Höpfner, Gregor
%T Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
%J Forschung im Ingenieurwesen
%V 89
%N 1
%@ 1434-0860
%C Heidelberg
%I Springer
%M RWTH-2025-03325
%P 53
%D 2025
%B Drivetrain and Systems Engineering Conference
%C 11 Mar 2025 - 12 Mar 2025, Aachen (Germany)
Y2 11 Mar 2025 - 12 Mar 2025
M2 Aachen, Germany
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
%9 Journal ArticleContribution to a conference proceedings
%U <Go to ISI:>//WOS:001444720700001
%R 10.1007/s10010-025-00806-1
%U https://publications.rwth-aachen.de/record/1009080