An industrial evaluation of SysML: The case of a nuclear automation modernization project | IEEE Conference Publication | IEEE Xplore