QNAUT: approximately analyzing networks of PH|PH|1|K queues | IEEE Conference Publication | IEEE Xplore