@article{BBB+12e,
title = {Statistical abstraction and model-checking of large heterogeneous systems },
author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Delahaye, Beno\^it and Legay, Axel},
year = {2012},
journal = {STTT},
number = {1},
pages = {53-72},
volume = {14},
team = {DCS, RSD},
}