A framework for model-driven proposal and evaluation of TABAC strategies | IEEE Conference Publication | IEEE Xplore