Title: Idef3 Formalization Report