Adopting formal approaches for monitoring and adaptation for large-scale distributed systems | IEEE Conference Publication | IEEE Xplore