"Impact analysis for event-based components and systems."

Daniel Popescu (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics