The role of secondary attributes in formal object modelling | IEEE Conference Publication | IEEE Xplore