@entry{dub-mye-sok-syr-yak-17-aa-mixsig, author = {V Dubikhin and C Myers and D Sokolov...}, title = {Advances in formal methods for the design of analog/mixed-signal systems}, journal = {2017 54th ACM ...,}, volume = {}, number = {}, pages = {}, year = 2017, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/8060408/}}}, quotes = {... simulation approach utilizing affine arithmetic to allow the ... Another approach using affine} }