Self-Stabilizing Distributed Algorithm for Strong Matching in a System Graph