Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems - Carreira (Springer International Publishing, 2020)