End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR. - John Hatcliff; Jason Belt; Robby; Clint McKenzie; Catalina Liang (FMICS, 2025)