2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design [electronic resource] : MEMOCODE '05, July 11-14, 2005, verona, Italy / sponsored by ACN Special Interest group on Design Automation, IEEE Circuits and Systems Society, IEEE Computer Society DATC