Behavioral automata composition for automatic topology independent verification of parameterized systems