Model Checking for the Infusion pump and it's specification.