Version 2.0.0 of RealySt introduces the computation of minimum reachability probabilities and accepts JANI input.
