Java parser for NTS (Numerical transition systems)