Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. - John Ngui; Paul A. Strooper; Luke Wildman; Margaret A. Wojcicki (ASWEC, 2007)