M. Vardi, “From Automated Verification to Automated Design”, ICAPS, vol. 20, no. 1, pp. 271-272, May 2010.