@entry{dub-sok-yak-19-aa,
  author = {V Dubikhin and D Sokolov and A Yakovlev},
  title = {Synthesis and verification of mixed-signal systems with asynchronous control},
  journal = {},
  year = 2019,
  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 ...}
}