Using Team Automata to Specify Software Architectures. - Ali Movaghar 001; Fereidon Shams Aliee; Sayed Mehran Sharafi (Res. Comput. Sci., 2007)