Framework for Requirements-Driven System Design Automation | IEEE Conference Publication | IEEE Xplore