Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings / - Borrione, Dominique.; Paul, Wolfgang J., (Lecture notes in computer science,)