Formal methods in computer aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000 ; proceedings (Springer, 2000)