Performance modelling for system-level design by B.D. Theelen