On the Finite Buffer Queue with Renewal Input and Batch Markovian Service Process: GI/BMSP/1/N · Study