Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach