A. Niewiadomski and W. Penczek, “UML Verification with Verics”, SI, vol. 8, no. 1, pp. 19–31, Jun. 2007.