APPLICATION OF METRICS TO REQUIREMENT SPECIFICATION BASED ON THE STATE TRANSITION MODEL.