An Analytical Model for Upper Bounds on the Performance of Event-Driven, Hierarchical Computer Systems