Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems — A case study | IEEE Conference Publication | IEEE Xplore