Leao da Silva, J.J.Leao da SilvaYkman, C.C.YkmanDe Jong, GjaltGjaltDe Jong2021-09-302021-09-301997https://imec-publications.be/handle/20.500.12860/1984MATISSE : a concurrent and object-oriented system specification languageProceedings paper