Specification and design of distributed hard real-time systems.

Paulo Roberto Pierri Tepedino, Tereza G. Kirner

Browse the full PDP paper archive.