Modeling the Case Study with LDL and Implementing it with LDI | IEEE Conference Publication | IEEE Xplore