John Ngui Paul A. Strooper Luke Wildman Margaret A. Wojcicki Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. 223-232 2007 ASWEC http://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.16 conf/aswec/2007 db/conf/aswec/aswec2007.html#NguiSWW07