human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "bespaced towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems"
  Abstract: In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details.

Connected through hyperedge HE-1 (induced by source paper "on decision support for remote industrial facilities using the collaborative engineering framework"):
  with members:
    - "operators for space and time in bespaced"
    - "an example for bespaced and its use for decision support in industrial automation"
    - "cyber virtual systems simulation validation visualization"

Connected through hyperedge HE-2 (induced by source paper "towards decision support for smart energy systems based on spatio temporal models"):
  with members:
    - "operators for space and time in bespaced"
    - "an example for bespaced and its use for decision support in industrial automation"

Connected through hyperedge HE-3 (induced by source paper "spatio temporal models for formal analysis and property based testing"):
  with members:
    - "an example for bespaced and its use for decision support in industrial automation"
    - "human factors in software reliability engineering"
    - "human factors of formal methods"

Connected through hyperedge HE-4 (induced by source paper "operators for space and time in bespaced"):
  with members:
    - "an example for bespaced and its use for decision support in industrial automation"
    - "towards verifying safety properties of real time probabilistic systems"

Connected through hyperedge HE-5 (induced by source paper "the virtual experiences lab a platform for global collaborative engineering and beyond"):
  with members:
    - "from abstract modelling to remote cyber physical integration interoperability testing"
    - "cyber virtual systems simulation validation visualization"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.SE(Software Engineering)