Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008