RQ4: User Study on Specification Quality