@misc{indiciae93f913effffd,
  title = {Automating Physics-Based Reasoning for SysML Model Validation},
  author = {Candice Chambers and Summer Mueller and Parth Ganeriwala and Chiradeep Sen and Siddhartha Bhattacharyya},
  year = {2025},
  url = {https://arxiv.org/abs/2501.18514},
  note = {Source identifier: 2501.18514}
}