SmtXtra published in The Global Assembly Journal for SMT