Computer Aided Verification - Chockler; Georg Weissenbacher; Weissenbacher, Georg (Springer International Publishing, 2018)