Implementing hierarchical features in a graphically based formal modelling language | IEEE Conference Publication | IEEE Xplore