Concurrent process model and specification cause-effect monitoring using alternate diagnostic signatures | IEEE Conference Publication | IEEE Xplore