CTL Model added to appendix