Generation of co-simulation compliant functional mock-up units from simulink, using explicit computational semantics