Jens GrabowskiBooksModel-Driven TestingSimulation ScienceSpecification based testing of real-time distributed systems: languages, tools and applicationsFormal Approaches to Software TestingFormal Approaches to Software Testing (vol. # 3395)Author data: Open Library