Introduce a separate `pse' module, based on `param'.
Get rid of leftovers and add my name to the PSE-related classes.
Fix references to ModelCheckerResultRanged.
Get rid of explicit.ranged leftovers.
Minor refactor.
Make ModelCheckerResultRanged inherit from prism.Pair.
Enhance prism.Pair with ComparablePair.
Simple parameter space decomposition.
Don't abuse Map.Entry for storing pairs.
Remove a superfluous variable in ModelBuilder.
Rename ParamModel -> PSEModel.
pse.ModelBuilder: Remove the isNonDet flag.
Delete param/ExprFunction{,Factory}.java
Replace ModelCheckerResultRanged with BoxRegionValues.
PSEModel: Also compute the max exit rate only for some subset of states.
A prototype demonstrating model-checking of unnested CSL formulae.

With LOTS of UnsupportedOperationException.
Bundle a specialised Pair within BoxRegionValues.
PSEModelChecker: P operators with bounds.
Introduce BoxRegionValues.toString().
When filtering results of model checking, take decomposing of the parameter space into account.