Proceedings of the 2015 ACMIEEE International Conference on Formal Methods and Models for Codesign
ACM Digital Library