A practical formally-based approach to object-oriented modelling of control systems | IEEE Conference Publication | IEEE Xplore