An Introduction to using Event-B for Cyber-Physical System Specification and Design