Systematic design of crosslinked mechatronic systems, exemplified by a decentralized intersection management | IEEE Conference Publication | IEEE Xplore