David,
To answer your specific questions,
1. I don't know of a specific theoretical commandment to incorporate censoring at baseline into the model, but my instincts tell me I ought to try, especially if there is a fair amount of censoring at baseline.
2. How I might add it (if I were doing so) would be to replace BASELINE in your model with two variables, perhaps called BaseTime and BaseCens. BaseCens would be the censoring indicator for whether the baseline task-completion time was censored at the specified maximum time. BaseTime would be equal to the specified maximum time when censoring took place, or equal to the observed baseline task-completion time when censoring did not take place. I'm guessing that BaseTime would already be equal to BASELINE in your particular case, in which case all we really would be doing is adding BaseCens as a second covariate to your model.
a. For purposes of clarity, my modification of your model would be TIME*Censor(1) = TRT BaseTime BaseCens.
But that's just one idea. There may be better ideas than that one. Georgette Asherman made reference to lab-work problems where the analytes have upper and lower detection limits which act as censoring points. If she knows of literature articles in which the censored analytes are used as predictor variables in either a regression model or a classification model, some of those might feature better ideas.
Confidentiality Notice: This e-mail message, including any attachments, is for the sole use of the intended recipient(s) and may contain confidential and privileged information. Any unauthorized review, use, disclosure or distribution is prohibited. If you are not the intended recipient, please contact the sender by reply e-mail and destroy all copies of the original message.