T. McCluskey, B. Williams, J. Silva, and B. Bonet, “Preface”, ICAPS, vol. 22, no. 1, May 2012.