Magnier, J. et al. 1998. THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION Periodica Polytechnica Electrical Engineering. 42, 1 (Jan. 1998), 135–146.