Universality of Finite Automata -- Safraless Compositional Synthesis -- Minimizing