h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Ghassemi:1016118,
      author       = {Ghassemi, Fatemeh and Zhiany, Saeed and Abbasi, Nesa and
                      Hodaei, Ali and Ataollahi, Ali and Kovacs, Jozsef and
                      Ábrahám, Erika and Sirjani, Marjan},
      title        = {{R}eachability analysis of {H}ybrid {R}ebeca models},
      journal      = {Journal of systems architecture : JSA},
      volume       = {167},
      issn         = {1873-6165},
      address      = {Amsterdam},
      publisher    = {Elsevier},
      reportid     = {RWTH-2025-06753},
      pages        = {103493},
      year         = {2025},
      cin          = {123420 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16 / PUB:(DE-HGF)7},
      UT           = {WOS:001538803200001},
      doi          = {10.1016/j.sysarc.2025.103493},
      url          = {https://publications.rwth-aachen.de/record/1016118},
}