@article{NFB+7,
title = { Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation },
author = {Nazarpour, Hosein and Falcone, Ylies and Bensalem, Saddek and Bozga, Marius},
year = {2017},
journal = {Formal Asp. Comput.},
number = {6},
pages = {951--986},
volume = {29},
team = {RSD},
}