Contribution of object-oriented methodologies to the specification of complex systems | IEEE Conference Publication | IEEE Xplore