Inference of Properties from Requirements and Automation of Their Formal Verification | IEEE Conference Publication | IEEE Xplore