@misc{indiciae4066ecd1a987,
  title = {Model Checking as a Service: Towards Pragmatic Hidden Formal Methods},
  author = {Karban, Robert and Gomes, Ivan and Andolfato, Luigi and Ráth, István and Molnar, Vince and Micskei, Zoltan and Hajdu, Ákos and Graics, Bence and Horváth, Benedek},
  year = {2020},
  url = {https://ntrs.nasa.gov/citations/20220001479},
  note = {Source identifier: 20220001479}
}