Detection of a Set of States in Distributed Systems | IEEE Conference Publication | IEEE Xplore