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