The basic equations for a supplemented GSMP and its applications to queues · Study