Multiple abstraction levels in automobile transmission design: constraint satisfaction formulations and implementations