Partially Ordered Automata and Piecewise Testability (Logical Methods in Computer Science, 2021)