Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions