@inproceedings{STS+10,
title = {Compositional Translation of Simulink Models into Synchronous BIP },
author = {Sfyrla, Vassiliki and Tsiligiannis, Georgios and Safaka, Iris and Bozga, Marius and Sifakis, Joseph},
year = {2010},
booktitle = {IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010},
pages = {217-220},
publisher = {IEEE},
team = {DCS, RSD},
}
