Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings - Hu, Alan J.; Hu, Alan J.; Martin, Andrew K.; Martin, Andrew K. (Springer Berlin Heidelberg : Imprint: Springer, 2004)