Topics Related to Certification, Construction and Lean: