Minimal Büchi Automata for Certain Classes of LTL Formulas | IEEE Conference Publication | IEEE Xplore