Ζοζέφ Σιφακίς: Διαφορά μεταξύ των αναθεωρήσεων