Formal methods in computer-aided design eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings / - Cimatti, Alessandro.; Jones, Robert B. (IEEE,)