Automated derivation of complex system constraints from user requirements | IEEE Conference Publication | IEEE Xplore