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 (Springer Berlin Heidelberg, 2005)