An experimental comparison of abstract and concrete representations in systems analysis