Duc-Duy Vo Claude Petitpierre Model Checking for Synchronous Java. 141-147 2006 conf/sede/2006 SEDE db/conf/sede/sede2006.html#VoP06