Implementing Polytope Projects for Smart Systems | EKB DL