CTL

CTL Term paper for CHEN 689