@INPROCEEDINGS{pace:2004,
    Author         = {Gordon J. Pace and Gerardo Schneider},
    Booktitle      = {Fifith International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2003)},
    Editor         = {Giorgio Levi and Bernhard Steffer},
    Series         = {LNCS},
    Title          = {Model Checking Polygonal Differential Inclusions Using Invariance Kernels},
    Year           = {2004}
}