Extending a Component Specification Language with Time. - Björn Metzler 001; Heike Wehrheim (FESCA@ETAPS, 2006)

Optimizing Slicing of Formal Specifications by Deductive Verification. - Ingo Brückner; Björn Metzler 001; Heike Wehrheim (Nord. J. Comput., 2006)

Decomposing Integrated Specifications for Verification. - Björn Metzler 001 (IFM, 2007)

Decomposition for Compositional Verification. - Björn Metzler 001; Heike Wehrheim; Daniel Wonisch (ICFEM, 2008)

Decomposition for compositional verification. - Björn Metzler 001 (2010)