Roberto Sebastiani Alessandro Tomasi Fausto Giunchiglia Model Checking Syllabi and Student Carreers. 128-142 2001 conf/tacas/2001 TACAS http://link.springer.de/link/service/series/0558/bibs/2031/20310128.htm db/conf/tacas/tacas2001.html#SebastianiTG01