Formal Methods and Models for Co-Design (MEMOCODE), ACM and IEEE International Conference on
Off-Campus Access: Athens ID and Password Required