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