1 Introduction

2 Timed Automata  
2.1 Clock guards  
2.2 Timed automata  
2.3 Extensions of timed automata  
2.4 Model checking tools for timed automata  

3 Non-interference  
3.1 $n$-non-interference  
3.2 Non-interference and simulation  
3.3 Non-interference and probabilistic timed automata  
3.4 Timed opacity  
3.5 Non-interference and information flow  
3.6 Discussion  

4 Attack trees  
4.1 Attack-fault trees  
4.2 Attack-defense trees  
4.3 Discussion  

5 Applications in the context of cyber-physical systems  
5.1 Analyses of RBAC models  
5.2 Verification of controllers  
5.3 Verification of security protocols  
5.4 Other works  
5.5 Discussion  

6 Conclusions  
6.1 Theoretical issues  
6.2 Links with applications  
6.3 Towards parameterized verification using timed automata?