From a Subset of LTL Formula to B ¨uchi Automata