P. Padawitz, “Algebraic Model Checking”, ECEASST, vol. 26, Mar. 2010.