An interactive interface and RT-Mach support for monitoring and controlling resource management | IEEE Conference Publication | IEEE Xplore