SAT-solving in practice, with a tutorial example from supervisory control
scientific article; zbMATH DE number 5659710