A software environment for custom simulation and monitoring of real-time specifications | IEEE Conference Publication | IEEE Xplore