Magnier J, Larnac M, Chapurlat V. THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION Period. Polytech. Elec. Eng. [Internet]. 1998 Jan. 1 [cited 2024 May 18];42(1):135-46. Available from: https://pp.bme.hu/ee/article/view/4379