Validating system and software requirements: extending the Davis-Jordan requirements metamodel to the 'user's view' | IEEE Conference Publication | IEEE Xplore