Concurrent runtime monitoring of formally specified programs | IEEE Journals & Magazine | IEEE Xplore