diff --git a/src/plugins/e-acsl/doc/developer/mmodel_architecture.pdf b/src/plugins/e-acsl/doc/developer/mmodel_architecture.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..b1fbbbb9d8612ad0a6ff76d71f32722697f5837c
Binary files /dev/null and b/src/plugins/e-acsl/doc/developer/mmodel_architecture.pdf differ