@inproceedings{KW12,
        author  = {O. Kupferman and S. Weiner},
        title   = {Environment-Friendly Safety},
        booktitle =    hvc12,
        series    = lncs,
        publisher = springer,
        year      = 2012
}