A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins. - Luca Cristoforetti; Alessandro Flori; Tommaso Fonda; Kostantinos Kapellos; Andrea Micheli; Stefano Tonetta; Alessandro Valentini 001 (MODELSWARD, 2026)