2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)