An Alternative Algorithm for Constraint Automata Product. - Bahman Pourvatan; Nima Rouhy (FSEN, 2007)