@inproceedings{neele_verifying_2019,
    title = {Verifying System-Wide Properties of Industrial Component-Based Software},
    authors = {Neele, Thomas and Rol, Marijn and Groote, Jan Friso},
    year = {2019},
    publisher = {Springer},
    booktitle = {FSEN 2019},
    pages = {158--175},
    series = {LNCS},
    volume = {11761},
    doi = {10.1007/978-3-030-31517-7_11},
}