Automatic Failure Detection with Separation of Concerns | IEEE Conference Publication | IEEE Xplore