J. Magnier, M. Larnac, and V. Chapurlat, “THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION ”, Period. Polytech. Elec. Eng., vol. 42, no. 1, pp. 135–146, Jan. 1998.