human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Integrating Real Time into Spin: A Prototype Implementation"):
  Abstract: We present a discrete-time extension of Promela, a high level modelling language for the specification of concurrent systems, and the associated Spin model checker. Our implementation is fully compatible with Spin’s partial order reduction algorithm, which is indeed one of its main strengths. The real time package is for most part orthogonal to the other features of the tool, resulting in a modular extension. We have evaluated it by several experiments, with encouraging results.

Includes members:
  Member "Model Checking SDL with Spin":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "IF: A Validation Environment for Timed Asynchronous Systems")
  Member "Extending Promela and Spin for Real Time":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "An implementation of three algorithms for timing verification based on automata emptiness")

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science