Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Aagaard, Mark D.; Aagaard, Mark D.; O'Leary, John W.; O'Leary, John W. (Springer Berlin Heidelberg : Imprint: Springer, 2002)