A Model Driven Tool for Requirements and Hardware Engineering | IEEE Conference Publication | IEEE Xplore