Lock Optimization for Hoare Monitors in Real-Time Systems | IEEE Conference Publication | IEEE Xplore