Open stack china_201109_sjtu_jinyh
Component-Based Design of Embedded Control Systems Luca Dealfaro Chamberlain Fong Tom Henzinger Christopher Hylands John Koo Edward A. Lee Jie Liu Xiaojun.
Component-Based Design of Embedded Control Systems