An example of automatically troubleshooting a throughput bottleneck using model based techniques | IEEE Conference Publication | IEEE Xplore