Specify the two operations described above in VDM-SL using the model you specified in part (b). Extra credit will be given for making good use of comments, functions and let...in clauses where appropriate.
Evaluate the two models by discussing the advantages and disadvantage each model has over the other.
police : Request[*]
fire : Request[*]
ambulance: Request[*]