Before revision:  The approach presented here is not specific to LTL ;
After revision:  The approach presented here is not specific to LTL :