Tracing Distributed Component-Based Systems, a Brief Overview. - Falcone, Yliès; Nazarpour, Hosein; Jaber, Mohamad; Bozga, Marius; Bensalem, Saddek (2018)