@article{CES09,
title = {Model checking: algorithmic verification and debugging },
author = {Clarke, Edmund M. and Emerson, Allen and Sifakis, Joseph},
year = {2009},
journal = {Commun. ACM},
number = {11},
pages = {74-84},
volume = {52},
team = {DCS, RSD},
}