A Model-Driven Framework for Trusted Computing Based Systems | IEEE Conference Publication | IEEE Xplore