This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...