A. Dridi, S. Sassi, and S. Faiz. 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA), page 1421-1428. (October 2017)
L. Schröder, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)