Formal techniques for verification of complex real-time systems - Geilen, Marc Constantijn Willem (Technická univerzita, 2002)