On the specification of complex software systems | IEEE Conference Publication | IEEE Xplore