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 "towards logical architecture and formal analysis of dependencies between services"):
  Abstract: This paper presents a formal approach to modelling and analysis of data and control flow dependencies between services within remotely deployed distributed systems of services. Our work aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property. The approach allows services decomposition oriented towards efficient checking of system properties as well as analysis of dependencies within a system.

Includes members:
  Member "model based hazard and impact analysis":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "towards software development for social robotics systems")
  Member "compositional properties of crypto based components":
    also connected through other hyperedges:
      (none)
  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 "formalisation and analysis of component dependencies":
    also connected through other hyperedges:
      (none)
  Member "stream processing components isabelle hol formalisation and case studies":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "cyber virtual systems simulation validation visualization")
  Member "refinement of pipe and filter architectures":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "montiarc architectural modeling of interactive distributed and cyber physical 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)