Return to Article Details THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION Download Download PDF