High-level Simulation of the Timely Behavior of Intermittent Systems. - Johannes Göpfert; Bernd-Christian Renner (ENSsys@SenSys, 2023)