Title: HAYES-SPECIFICATION CASE STUDIES