SXSW: Leadership in the Innovation Age
Integrating Model Checking and Procedural Languages
Layman's Guide to Lean Methodology
Integrating Model Checking and Procedural Languages David Owen July 19, 2004.