CaseStudy–ASimpleGasStationSystem