Dorina Ghindici Gilles Grimaud Isabelle Simplot-Ryl An Information Flow Verifier for Small Embedded Systems. 189-201 2007 conf/wistp/2007 WISTP http://dx.doi.org/10.1007/978-3-540-72354-7_16 db/conf/wistp/wistp2007.html#GhindiciGS07