Dennis Dams, Yassine Lakhnech, and Martin Steffen.
Journal of Logic and Algebraic Programming, special issue on
Model Checking, 52–53:109–127 (19 pages), July 2002.
This is an extended version of the conference version under the same
title, Computer Aided Verification (CAV’01), LNCS 2102.
At least 0 things still to fix!