International Conference on Formal Methods and Models for Co-Design, 1st ACM and IEEE (IEEE Computer Society Press)