Engineering cyber-physical systems through performance-based modelling and analysis: A case study experience report