Observer-a concept for formal on-line validation of distributed systems | IEEE Journals & Magazine | IEEE Xplore