Distributed Real-Time Systems: Theory and Practice (Computer Communications and Networks)