Comment: I am with the research and technology group of Honeywell Technology Solutions Lab where I lead a team on Formal Methods. We are actively pursuing the application of Formal Methods in different industrial domains.
My Links
ATasteOfTWiki - view a short introductory presentation on TWiki for beginners