Verification and Validation of Model-Based Systems Requirements and Design Leveraging Formal Methods to Increase Development Assurance Conference proceeding in SAE Technical Papers (March 2024)