@inproceedings{CDL08,
title = { Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator },
author = {Clarke, Edmund M. and Donz\'e, Alexandre and Legay, Axel},
year = {2008},
booktitle = {Haifa Verification Conference},
pages = {149-163},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5394},
team = {TEMPO},
}