added function highlightElements in Emulink, to support the visualisation of nodes and transitions during simulations