Grayson GB Ltd Case Study: PAS 2060 Verification