@entry{tsa-gia-bas-22-aa,
  author = {VA Tsachouridis and G Giantamidis and S Basagiannis...},
  title = {Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control},
  journal = {... European Workshop on ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-030-85318-1_13}}},
  quotes = {... for the approach presented in this paper on combining results from algorithmic convergence studies, together with automatic exploration of reachable states based on affine arithmetic ...}
}