Behaviour-Aware Generation of Mashups: Invited Presentation at the Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software