'Quality Engineering: Build It Right The First Time' by Allan Woodcock, Shobana Rajamani & Balan Ramaswamy