Magnier, Janine, Mireille Larnac, and Vincent Chapurlat. 1998. “THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION ”. Periodica Polytechnica Electrical Engineering 42 (1):135-46.