Desarrollo de TCTL