Dong, J., Qin, S., Sun, J., Boiten, E., Derrick, J., & Smith, G. (2004). Generating MSCs from an Integrated Formal Specification Language. In Integrated Formal Methods : 4th International Conference, IFM 2004, 4-7 April 4 2004, Canterbury, UK : proceedings (168-186). https://doi.org/10.1007/b96106