MTC4SJ in Practice