Compositional Design of Distributed Real-time Protocols

by Ionut Buricea , Gurdip Singh