@entry{fue-gla-gri-hed-17-aa,
  author = {A F{\"u}rtig and G Gl{\"a}ser and C Grimm and L Hedrich...},
  title = {Novel metrics for analog mixed-signal coverage},
  journal = {2017 IEEE 20th ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/7934589/?casa_token=x5e_lqHjRoAAAAAA:XOIRvs-jlqMbMU2O2yCK0gxw9ZwJpILBJOU2nGE9yDpDo_Kh3-5SGdT6jr9eaeiSpPPDFFSr}}},
  quotes = {... \uc{2022} Formal methods: With affine arithmetic or other set based reachability methodologies, we can compute a reachable set for a whole parameter set. The methods allow additionally to ...}
}