The use of design descriptions in automated diagnosis