Topics Related to Certification, Lean and Software: