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