Maintenance of a deteriorating single server system with Markovian arrivals and random shocks