Formal development of remote interfaces for large-scale real-time systems. - Walter Hussak; Shaun H. Yang (SMC (1), 2004)