@inproceedings{HKG+12,
title = {A Verification Toolkit for Numerical Transition Systems - Tool Paper },
author = {Hojjat, Hossein and Kone\v{c}n\'{y}, Filip and Garnier, Florent and Iosif, Radu and Kuncak, Viktor and R\"ummer, Philipp},
year = {2012},
booktitle = {FM},
pages = {247-251},
team = {DCS,PACSS},
}