SmtXtra published in SMT Today