means of redundancy -- Decomposition of task specification problems -- ORTES: The design