Correct hardware design and verification methods IFIP WG 10.5 advanced research working conference, CHARME '95, Frankfurt, Main, Germany, October 2-4, 1995 ; proceedings (Springer, 1995)