@inproceedings{wijs_compositional_2017,
    title = {Compositional Model Checking with Incremental Counter-Example Construction},
    authors = {Wijs, Anton and Neele, Thomas},
    year = {2017},
    publisher = {Springer},
    booktitle = {CAV 2017},
    pages = {570--590},
    series = {LNCS},
    volume = {10426},
    doi = {10.1007/978-3-319-63387-9_28},
}