Deriving compositionally deadlock-free components under synchronous composition