A unified approach for modeling and analysis of a versatile batch-service queue with correlated arrival | IEEE Conference Publication | IEEE Xplore