Title: Preparing for IC3 Certification