Metrics for Multithreaded Java Program Verification. - Ahmed Salem; Varun Sharam (Software Engineering Research and Practice, 2005)