Reference:

Javier Esparza and Christian Kern. Reactive and proactive diagnosis of distributed systems using net unfoldings. In ACSD, 2012. To appear.

Suggested BibTeX entry:

@inproceedings{ACSDKERN,
    author = {Javier Esparza and Christian Kern},
    booktitle = {ACSD},
    note = {To appear},
    title = {Reactive and Proactive Diagnosis of Distributed Systems using Net Unfoldings},
    year = {2012}
}