Formal Methods and Software Engineering: A Comprehensive Guide to Software Quality Assurance View product