Challenges of requirements engineering — A case study in nuclear energy domain | IEEE Conference Publication | IEEE Xplore