Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore