publication venue for SMVA: A Stable Mean Value Analysis Algorithm for Closed Systems with Load-Dependent Queues 2019