Padawitz, P. Algebraic Model Checking. eceasst 2010, 26.