Henrik Reif Andersen Jørgen Staunstrup Niels Maretti Partial Model Checking with ROBDDs. 35-49 1997 conf/tacas/1997 TACAS db/conf/tacas/tacas97.html#AndersenSM97