Automatic Verification and Validation of a CAS Simulation of an Intensive Care Unit