CAiSE09 PRET chapter submitted

Finished the final chapter and submitted today.

For background see my previous postings on the process.

You can find the latest copy of the paper here.