A requirements language for autonomous decentralized systems development | IEEE Conference Publication | IEEE Xplore