@misc{indiciae022f0ce007f2,
  title = {Reliability Analysis of Monitoring System for Extraterrestrial Habitat using CTMC and Empirical Evaluation},
  author = {Saurabh Band and Florian Stechmann and Malavika Unnikrishnan and Shadi Attarha and Christiane Heinicke and Andreas Willig and Anna Förster},
  year = {2023},
  url = {https://arxiv.org/abs/2305.08143},
  note = {Source identifier: 2305.08143}
}