Specification Based Testing of Real Time Distributed Systems Languages, Tools and Applications by Jens Grabowski | Menrva Books | MenrvaBooks