A dynamic modelling framework for control-based computing system design. - Papadopoulos, Alessandro Vittorio; Maggio, Martina; Terraneo, Federico; Leva, Alberto (Mathematical & Computer Modelling of Dynamical Systems, 2015)