human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "cyber virtual systems simulation validation visualization"):
  Abstract: We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part - for example an existing robot installation - and a software simulated part - for example a possible future extension. We call such systems cyber-virtual systems. #R##N#In this paper, we present the existing VITELab infrastructure for visualization tasks in industrial automation. The new methodology for simulation and validation motivated in this paper integrates this infrastructure. We are targeting scenarios, where industrial sites which may be in remote locations are modeled and visualized from different sites anywhere in the world. #R##N#Complementing the visualization work, here, we are also concentrating on software modeling challenges related to cyber-virtual systems and simulation, testing, validation and verification techniques for them. Software models of industrial sites require behavioural models of the components of the industrial sites such as models for tools, robots, workpieces and other machinery as well as communication and sensor facilities. Furthermore, collaboration between sites is an important goal of our work.

Includes members:
  Member "from abstract modelling to remote cyber physical integration interoperability testing":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "towards software development for social robotics systems")
  Member "human factors of formal methods":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "a domain specific language for verifying software requirement constraints")
  Member "do we really need to write documentation for a system case tool add ons generator editor for a precise documentation":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "human factors in software reliability engineering")
  Member "towards system development methodologies from software to cyber physical domain":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "towards a human centred approach in modelling and testing of cyber physical systems")
  Member "stream processing components isabelle hol formalisation and case studies":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "towards logical architecture and formal analysis of dependencies between services")
  Member "towards a framework for behavioral specifications of osgi components":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "towards verifying safety properties of real time probabilistic systems")

Question: Please tell me which class the source paper 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)