Carreira, PauloAmaral, VascoVangheluwe, Hans2022-07-182022-07-182020978-3-030-43945-3978-3-030-43946-0PURE: 41814270PURE UUID: d9177788-16b8-4d6e-992a-a472772b2ad5http://hdl.handle.net/10362/142023Coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems using the multi-paradigm modelling approach. Represents the first systematic attempt to bring together the formalisms used for modelling explicitly every part and aspect of a system at the most appropriate level(s) of abstraction. Conceived as a textbook for master and post-graduate level students in computer science and engineering with a particular focus on multi-paradigmatic tools and techniques.28510255936engbook10.1007/978-3-030-43946-0