Object based software engineering with hidden sorted ECATNets and hidden labeled rewriting logic | IEEE Conference Publication | IEEE Xplore