Model checking, testing and debugging. (5th December 2021) - Hierons, Robert M.; Xie, Tao