Leveraging Applications of Formal Methods, Verification, and Validation häftadEngelska, 2012