@inproceedings{FK09,
    author      =   "D. Fisman and O. Kupferman",
    title       =   "Reasoning about Finite-State Switched Systems",
    booktitle   =   hvc09,
    series      =   lncs,
    volume      =   "?",
    pages       =   "?",
    publisher   =   springer,
    year        =   2009
}