atLTL