ACM Transactions on Embedded Computing Systems (TECS) : Volume 12
Issue 1s(Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems), March 2013