Semantic Modeling of the IMS LD Level B Specification | IEEE Conference Publication | IEEE Xplore