Systems and Software Verification door A. Petit, Michel Bidoit & A. Finkel