idef0 model