State Exploration by Transformation with LOLA.

Published in: Automatic Verification Methods for Finite State Systems (1989)