Communicating embedded systems modeling and validation

Publication
IEEE International Symposium on Systems Engineering