You are about to access our book library "Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-Rt 2004. Revised Lectures full version" .