Accelerating the Industrial Deployment of Model-Checking for SW Verification: Lessons from 10 years of Model Checking Deployment for HW Verification in.
Refined ECSS Software Process Model Elements SD-TN-AI-0570, Issue 5 APPENDIX D.