publication venue for Efficient resource management for hard real-time communication over differentiated services architectures 2000 ProtEx: A toolkit for the analysis of distributed real-time systems 2000