hyperautomata model