Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings - Pierre, Laurence; Pierre, Laurence; Kropf, Thomas; Kropf, Thomas (Springer Berlin Heidelberg : Imprint: Springer, 1999)