Merge branch 'dev' of...
Merge branch 'dev' of https://git.rwth-aachen.de/monticore/EmbeddedMontiArc/simulators/hardware_emulator into dev
Merge branch 'dev' of https://git.rwth-aachen.de/monticore/EmbeddedMontiArc/simulators/hardware_emulator into dev