@inproceedings{FR09,
title = {Design Principles for an Extendable Verification Tool for Hybrid Systems },
author = {Frehse, Goran and Ray, Rajarshi},
year = {2009},
booktitle = {Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009)},
publisher = {IFAC},
team = {TEMPO},
}