Towards a Formal Specification of Multi-paradigm Modelling | IEEE Conference Publication | IEEE Xplore