A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems | IEEE Conference Publication | IEEE Xplore