Automating Physics-Based Reasoning for SysML Model Validation. - Candice Normalee Chambers; Summer Mueller; Parth Ganeriwala; Chiradeep Sen; Siddhartha Bhattacharyya (SysCon, 2025)