Proceedings Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California / sponsored by ACM SIG on Design Automation ... [et al.]. (IEEE Xplore, 2006)