(1)
Vardi, M. From Automated Veriļ¬cation to Automated Design. ICAPS 2010, 20, 271-272.