Formal design of embedded systemsBy Naijun Zhan, Distinguished Research Professor at the Chinese Academy of Sciences, China.Read more