Modeling in LML with DOCL: A Contribution to the MULTI Warehouse Challenge | IEEE Conference Publication | IEEE Xplore