Composition of Behavioural Assume-Guarantee Contracts. - Shali, Brayan M.; Schaft, Arjan van der; Besselink, Bart (IEEE Trans. Autom. Control., 2023)