Amit Prakash Adnan Aziz Symbolic Model Checking. 2008 Encyclopedia of Algorithms http://dx.doi.org/10.1007/978-0-387-30162-4_416 reference/algo/2008 db/reference/algo/algo2008.html#PrakashA08a