Roshan Suresh Kumar has been accepted as an intern through the DAAD Rise Professional program to the German Aerospace Center (DLR) at Braunschweig, Germany. The duration of the internship is from June 1st – August 24th 2022 and the main task is to investigate and provide suggestions to mitigate the state space explosion issue encountered in the deployment of the Unfolding-based Dynamic Partial Order Reduction (UDPOR) model checker for detecting global deadlocks in state system representations of satellite systems.