برنامه ریزی زمانی Temporal Planning / برنامه ریزی پیشرو مبتنی بر فضای وضعیت Forward State Space Planning / هم روندی اجباری Required Concurrency / تجرید زمان Time Abstraction
امنیت Security / خودکارافزار زمانی Timed Automata / قراردادهای امنیتی Security Protocols / سیستم های تعبیه شده مبتنی بر خودکارافزار Automata Based Embedded Systems / درستی یابی Verification / روش های صوری Formal Methods