Thread:Talk:Evidence on Formal Methods uses and impact on Industry/Add usage scenario

Usage scenario from the DEPLOY book chapter