Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. - Paul H. Dietz; Thomas Weigert; Frank Weil (WIFT, 1998)

Transferring Formal Methods Technology to Industry. - Patrice Godefroid; John Kelly; Steven P. Miller; Frank Weil (WIFT, 1998)

WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe. - Frank Weil (WIFT, 1998)

Guidelines for Using SDL in Product Development. - Frank Weil; Thomas Weigert (SAM, 2004)

Model-Driven Engineering in a Large Industrial Context - Motorola Case Study. - Paul Baker; Shiou Loh; Frank Weil (MoDELS, 2005)

Summary of the 2006 Model Size Metrics Workshop. - Frank Weil; Andrij Neczwid (MoDELS (Workshops), 2006)

Automated Semantic Analysis of Design Models. - Frank Weil; Brian E. Mastenbrook; David Nelson; Paul H. Dietz; Aswin van den Berg (MoDELS, 2007)

Experiences in Deploying Model-Driven Engineering. - Thomas Weigert; Frank Weil; Kevin Marth; Paul Baker; Clive Jervis; Paul H. Dietz; Yexuan Gui; Aswin van den Berg; Kim Fleer; David Nelson; Michael Wells; Brian E. Mastenbrook (SDL Forum, 2007)

Automated Code Generation for Industrial-Strength Systems. - Thomas Weigert; Frank Weil; Aswin van den Berg; Paul H. Dietz; Kevin Marth (COMPSAC, 2008)