Run-time detection in parallel and distributed systems: application to safety-critical systems | IEEE Conference Publication | IEEE Xplore