Title: Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design: Memocode'05