Automate LTL/FTL mode selection