MEMOCODE'04 Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : June 23-25, 2004, San Diego, California / (IEEE,)