Automated Technology for Verification and Analysis - Dang Van Hung, Oleg Sokolsky (Springer, 2020)