Masoom Alam Jean-Pierre Seifert Xinwen Zhang A Model-Driven Framework for Trusted Computing Based Systems. 75-86 2007 conf/edoc/2007 EDOC http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.7 db/conf/edoc/edoc2007.html#AlamSZ07