Automata theory 6 Model-checking Real time systems 6 Computation theory 4 Computer architecture 4 Computer software 4 Distributed computer systems 4 Distributed timed model-checker 4 Graph theory 4 Mathematical models 4 Matrix algebra 4 Problem solving 4 Program processors 4 Set theory 4 Time-consuming tasks 4 Timed automata 4 Automata 2 Automatic technique 2 Design 2 Duration properties 2 Interactive computer systems 2 Model checking 2 Physical design 2 Real-time software 2 Real-time system designs 2 Run-time scheduling 2 Scheduling 2 Scheduling theory 2 Specifications 2 Systems analysis 2