Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude | IEEE Conference Publication | IEEE Xplore