@inproceedings{Sif4d,
title = {Keynote talk {III:} {A} framework for modeling architectures and their properties },
author = {Sifakis, Joseph},
year = {2014},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014},
pages = {229--230},
publisher = {{IEEE}},
team = {RSD},
}
