Reference:

J. Bauer and R. Wilhelm. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Seminar proceedings 06081, Dagstuhl, Feb 2006.

Suggested BibTeX entry:

@techreport{BauWi06,
    author = {J. Bauer and R. Wilhelm},
    institution = {Dagstuhl},
    month = {Feb},
    title = {{A}nalysis of {D}ynamic {C}ommunicating {S}ystems by {H}ierarchical {A}bstraction},
    type = {Seminar Proceedings 06081},
    year = {2006}
}