Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) (IEEE Cat. No. 06EX1398) | IEEE Conference Publication | IEEE Xplore