Dimitar Baronov, John Baillieul: Search decisions for teams of automata. CDC 2008: 1133-1138