Reasoning on requirement specifications: a deductive approach | IEEE Conference Publication | IEEE Xplore