نشرت دار النشر الألمانية "LAP - Lambert Academic Publishing " أطروحة الماجستير للمهندس محمد أبو لمضي المحاضر في هندسة البرمجيات وكلية تكنولوجيا المعلومات، على هيئة كتاب مطبوع يحمل عنوان:

Developing Resilience Systems with KAOS:"

Developing Secure and Safe Systems with Knowledge Acquisition for AutOmated Specification"

وتعتبر دار النشر الألمانية "LAP - Lambert Academic Publishing " إحدى دور النشر الأوربية المتخصصة في نشر البحوث العلمية وأطروحات ‏الدكتوراه والماجستير والبكالوريوس والمشاريع البحثية المتخصصة في أوروبا والعالم، والمقدمة لكليات ومراكز مرموقة، وتقوم بطباعتها ونشرها عبر أكثر من‏‏ (80) ألف موزع كتب ومكتبات مشهورة حول العالم لاسيما في أوروبا والولايات المتحدة الأمريكية.‏