An Investigation of Use Case Quality in a Large Safety-Critical Software Development Project