A dynamic modelling framework for control-based computing system design
scientific article; zbMATH DE number 6431168