Boeken over Tangram: Model-based integration and testing of complex high-tech systems