Baddour, A.M., Sang, J., Hu, H., Akbar, M.A., Loulou, H., Ali, A., Gulzar, K., 2019. CIM-CSS: A Formal Modeling Approach to Context Identification and Management for Intelligent Context-Sensitive Systems.. https://doi.org/10.1109/access.2019.2931001