MAGNIER, Janine; LARNAC, Mireille; CHAPURLAT, Vincent. THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION Periodica Polytechnica Electrical Engineering, [S. l.], v. 42, n. 1, p. 135–146, 1998. Disponível em: https://pp.bme.hu/ee/article/view/4379. Acesso em: 18 may. 2024.