Updated documentation for Thread Safety Analysis.