Specification based testing of real-time distributed systems: languages, tools and applications | lit.salon