Your Essential Guide to LTL Basics