Adnan Aziz, Amit Prakash: Symbolic Model Checking. Encyclopedia of Algorithms 2016: 2178-2182