Guide to the design of real-time systems

Foundations of real-time computing: formal specifications and methods

Foundations of real-time computing: scheduling and resources management

Real-Time systems : scheduling, analysis, and verification

Optimasi Peer-to-peer Communication Berbasis WebRTC menggunakan Protokol Random Peer Sampling Spray pada Aplikasi Real-Time Collaborative Whiteboard = WebRTC Based Peer-to-peer Communication Optimization using Random Peer Sampling Protocol Spray on Real-Time Collaborative Whiteboard Application