@PhdThesis{Grabowski03, author = {Jens Grabowski}, title = {{Specification Based Testing of Real-Time Distributed Systems - Languages, Tools and Applications}}, address = {Berlin, Germany}, school = {Logos Verlag}, month = jul, year = 2003, }