Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28