1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, pp. 825–885. IOS Press, January 2009
3. Lecture Notes in Computer Science;J Baumeister,2021
4. Benes, N., Brim, L., Cerná, I., Sochor, J., Vareková, P., Buhnova, B.: Partial order reduction for state/event LTL. In: IFM (2009)
5. Lecture Notes in Computer Science;L Bu,2010