Making Specifications Complete Through Models. - Bernd Schoeller; Tobias Widmer; Bertrand Meyer 001 (Architecting Systems with Trustworthy Components, 2004)

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. - Lisa Ling Liu; Bertrand Meyer 001; Bernd Schoeller (TAP, 2007)

Making classes provable through contracts, models and frames. - Bernd Schoeller (2008)

Beyond contracts for concurrency. - Jonathan S. Ostroff; Faraz Ahmadi Torshizi; Hai Feng Huang; Bernd Schoeller (Formal Aspects Comput., 2009)