@entry{sar-gri-21-aa,
  author = {SDC Saratha and C Grimm...},
  title = {A Digital Twin with Runtime-Verification for Industrial Development-Operation Integration},
  journal = {2021 IEEE International ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2021,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/9570222/?casa_token=5fpp5dfh5fEAAAAA:mXkLVdPG3pRolFC91rnaFeQp6QdYZV1QLDzzbo674VMOXc14vYJ-3_W6LvyWTjpqAfYDeBvh}}},
  quotes = {... The Java Library jAADD creates the reachability models which constitutes the data structures of Affine Arithmetic Decision Diagrams (AADD, [14]). Such objects can be naturally stored ...}
}