Abstract: In the context of cyber-physical systems (CPS), understanding system behaviors is crucial for ensuring reliability, efficiency, and trust. However, due to the increasing complexity of the ...