Topics addressed include mathematical models of realtime systems and associated formal verification techniques such as model checking probabilistic modeling and verification programming and description languages and validation approaches based on testing.