Brad Long Paul A. Strooper Luke Wildman A method for verifying concurrent Java components based on an analysis of concurrency failures. 281-294 2007 19 Concurrency and Computation: Practice and Experience 3 http://dx.doi.org/10.1002/cpe.1063 db/journals/concurrency/concurrency19.html#LongSW07