Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems