1. Interface-based specification and verification of concurrency controllers;Betin-Can;Technical Report 2003-13, Computer Science Department, University of California, Santa Barbara,2003
2. Java pathfinder: Second generation of a Java model checker;Brat,2000
3. Action Language: A specification language for model checking reactive systems;Bultan,2000
4. Action language verifier;Bultan,2001
5. Specific notification for Java thread synchronization;Cargill,1996