The Verified C compiler has been built using CCI components. See http://vcc.codeplex.com.