Automata theory 12 Timed Automata Mathematical models 8 Algorithms 6 Compositional modeling 4 Computer programming languages 4 Computer workstations 4 Data storage equipment 4 Distributed Timed Model Checking 4 Distributed computer systems 4 Distributed timed model checking 4 KRONOS 4 Key modeling 4 Kronos 4 Load-Balance 4 Load-balance 4 Prediction 4 Program processors 4 Reachability 4 Reconfiguration 4 Redistribution 4 Statistical methods 4 Timed automata 4 Verification tools 4 ZEUS 4 Zeus 4 Computer aided analysis 2 Information use 2 Modelling elements 2 Optimization tools 2