Magnier, J., Larnac, M., Chapurlat, V. “THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION ”, Periodica Polytechnica Electrical Engineering, 42(1), pp. 135–146, 1998.