Dynamic risk assessment for process operational safety based on reachability analysis · Study