MEMOCODE 2014 twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign : 19-21 October 2014 / (IEEE,)