Title: IDEF3 formalization report
Subjects: Systems engineering