Abstract :
Presents the call for papers for IEEE Embedded Systems Letters Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems; CEDA Honors Distinguished Members of EDA Community; and Papers in IEEE Embedded Systems Letters (the top-five accessed articles from IEEE Embedded Systems Letters in August 2012).
