https://123dok.net/document/y8g7dl84-viability-invariance-reachability-controlled-piecewise-deterministic-processes-associated.html