Edward A. Lee,Gabor Karsai,Holger Giese

• Model-Based Engineering of Embedded Real-Time Systems