Element 'control model synthesis'