Book

FM 2008 : Formal Methods

by Jorge Cuellar, Tom Maibaum