@inproceedings{BBB+11f,
title = {Rigorous system level modeling and analysis of mixed HW/SW systems },
author = {Bourgos, Paraskevas and Basu, Ananda and Bozga, Marius and Bensalem, Saddek and Sifakis, Joseph and Huang, Kai},
year = {2011},
booktitle = {9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011},
pages = {11-20},
publisher = {IEEE},
team = {DCS, RSD},
}
