small typos and moving definition of CMTL into introduction