Computer Aided Verification - Shoham, Sharon; Vizel, Yakir (Springer International Publishing, 2022)