(1)
Vardi, M. From Automated Verification to Automated Design. ICAPS 2010, 20, 271-272.