Eiffel gets a little mention in the influence of Spec# and Sing#, used in the authoring of Microsoft's Singularity research OS. Check out the mention on Ars Technica