Computer-Aided verification - Kurshan, Robert (Kluwer Academic Publishers, 1992)