Modelling and Analysis of Cyber-Physical Systems using Deterministic Theatre