Towards an Inspection Technique for Use Case Models