Using formal models to objectively judge quality of multi-threaded programs in empirical studies. - Dillon, Laura K.; Stirewalt, R. E. K.; Kraemer, Eileen; Xie, Shaohua; Fleming, Scott D. (ICSE: International Conference on Software Engineering, 2008)