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 "behavioral compatibility of simulink models for product line maintenance and evolution"):
  Abstract: Embedded software systems, e.g. automotive, robotic or automation systems are highly configurable and consist of many software components being available in different variants and versions. To identify the degree of reusability between these different occurrences of a component, it is necessary to determine the functional backward and forward compatibility between them. Based on this information it is possible to identify in which system context a component can be replaced safely by another version, e.g. exchanging an older component, or variant, e.g. introducing new features, to achieve the same functionality.   This paper presents a model checking approach to determine behavioral compatibility of Simulink models, obtained from different component variants or during evolution. A prototype for automated compatibility checking demonstrates its feasibility. In addition implemented optimizations make the analysis more efficient, when the compared variants or versions are structurally similar.   A case study on a driver assistance system provided by Daimler AG shows the effectiveness of the approach to automatically compare Simulink components.

Includes members:
  Member "architecture and behavior modeling of cyber physical systems with montiarcautomaton":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "methodology for designing decision support systems for visualising and mitigating supply chain cyber risk from iot technologies")
  Member "monticore a framework for compositional development of domain specific languages":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "reusing static analysis across different domain specific languages using reference attribute grammars")
  Member "montiarc architectural modeling of interactive distributed and cyber physical systems":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "architecture and behavior modeling of cyber physical systems with montiarcautomaton")
  Member "a manifesto for semantic model differencing":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "cddiff semantic differencing for class diagrams")
  Member "addiff semantic differencing for activity diagrams":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "empirical evaluation of effort on composing design models")
  Member "evolving delta oriented software product line architectures":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "architecture and behavior modeling of cyber physical systems with montiarcautomaton")

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)