@inproceedings{Sif11c,
title = {Methods and tools for component-based system design },
author = {Sifakis, Joseph},
year = {2011},
booktitle = {Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011},
pages = {1022},
publisher = {IEEE},
team = {DCS, RSD},
}
