Title: Specification based testing of real time distributed systems
First published: 2003
Subjects: Electronic data processing, Real-time data processing, Distributed processing