Modeling Digital Threads as Executable Workflows Using SysMLv2. - Aaron Greenhouse; Joseph R. Seibel; Jérôme Hugues (SysCon, 2025)