Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings - Ganesh Gopalakrishnan, Phillip Windley ((Lecture Notes in Computer Science))