Specification based testing of real time distributed systemsJens Volker Grabowski · First published 2003Open the Tome