Module3a-FormalModelingCPS-09-15-23.pdf