Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems | IEEE Conference Publication | IEEE Xplore