This book is a venture in the worlds of modeling and of metamodeling. At this point, I will not reveal to readers what constitutes metamodeling. Suf fice it to

This book is a definitive introduction to models of computation for the design of complex, heterogeneous systems. It has a particular focus on cyber-physical sy

This book is a venture in the worlds of modeling and of metamodeling. At this point, I will not reveal to readers what constitutes metamodeling. Suf fice it to

This book constitutes the refereed proceedings of the 22nd International Conference on Conceptual Modeling, ER 2003, held in Chicago, IL, USA in October 2003. T

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th