Simulation for Digital Electronic Circuits -- Go4Flex: Goal-Oriented Process Modelling