Automata theory 8 Distributed timed model checking 8 Timed automata 8 Algorithms 6 Data storage equipment 6 Distributed computer systems 6 KRONOS 6 Kronos 6 Load-balance 6 Program processors 6 Reachability 6 Reconfiguration 6 Redistribution 6 ZEUS 6 Zeus 6 Computer workstations 4 Data structures 4 Distributed Timed Model Checking 4 Load-Balance 4 Mathematical models 4 Prediction 4 Timed Automata 4 Computer aided software engineering 2 Computer architecture 2 Computer simulation 2 Control equipment 2 DBM 2 Difference Bound Matrices (DBM) 2 Difference bound matrices 2 Distributed time model checking 2