Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata (Logical Methods in Computer Science, 2013)