Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings (Lecture notes in computer science, 1999)