Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings - Laurence Pierre, Thomas Kropf ((Lecture Notes in Computer Science))