Systematic design of crosslinked mechatronic systems, exemplified by a decentralized intersection management. - J. Lückel; Rolf Naumann; Rainer Rasche (ECC, 1999)