A survey of modelling and simulation software frameworks using Discrete Event System Specification · Study