@article{CDL10,
title = {On Simulation-Based Probabilistic Model-Checking of Mixed-Analog Circuits },
author = {Clarke, Edmund M. and Donz\'e, Alexandre and Legay, Axel},
year = {2010},
journal = {Formal Methods in System Design},
number = {2},
pages = {97-113},
volume = {36},
team = {TEMPO},
}
