A requirements taxonomy for specifying complex systems | IEEE Conference Publication | IEEE Xplore