The OsMoSys approach to multi-formalism modelling of systems.