Ahmed Salem Varun Sharam Metrics for Multithreaded Java Program Verification. 524-528 2005 conf/serp/2005-2 Software Engineering Research and Practice db/conf/serp/serp2005-2.html#SalemS05