3 books
Verification and Validation for Safety Critical Software
Practical UML-Based Specification, Validation, and Verification of Mission-Critical Software
Modeling and Verification Using UML Statecharts