You are about to access our book library "Specification Based Testing of Real-Time Distributed Systems. Languages, Tools and Applications full version" .