@conference { bcdm2010b,
	title = {A Tool for Signal Probability Analysis of FPGA-Based Systems},
	booktitle = {COMPTOOLS2011, the 2nd Intl. Conf. on Computational Logics, Algebras, Programming, Tools, and Benchmarking},
	year = {2011},
	isbn = {978-1-61208-159-5},
	author = {C. Bernardeschi and L. Cassano and A. Domenici and Paolo Masci}
}