Engineering Abstractions in Model Checking and Testing. - Michael Achenbach; Klaus Ostermann (SCAM, 2009)

A Meta-Aspect Protocol for Developing Dynamic Analyses. - Michael Achenbach; Klaus Ostermann (RV, 2010)