Multi-context Systems as a Specification Framework for Complex . . .