@entry{dub-19-aa-mixsig-th,
  author = {V Dubikhin and D Sokolov and A Yakovlev},
  title = {Synthesis and verification of mixed-signal systems with asynchronous control},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2019,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{http://async.org.uk/tech-reports/NCL-EEE-MICRO-TR-2020-217.pdf}}},
  quotes = {... to the symbolic simulation approach utilizing affine arithmetic to allow the representation of ... Another approach using affine arithmetic, described in [31], tackles the problems of device ...}
}