Text this: Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.