Comprehensive specification of distributed systems using I/sup 5/ and IOA | IEEE Conference Publication | IEEE Xplore