In the proceedings of the AIAA InfoTech Conference (AIAA-2009-1991), 2009 (with P.Seiler, G. Balas, and A. Packard).
pdf version