@article{BP12,
title = {Generating Invariant-based Certificates for Embedded Systems },
author = {Blech, Jan-Olaf and P'erin, Micha\"el},
year = {2012},
journal = {ACM Transactions on Embedded Computing Systems (TECS)},
number = {2},
pages = {34},
volume = {11},
team = {DCS,PACSS},
ee = {http://doi.acm.org/10.1145/2220336.2220346},
}