selected publications conference paper Using contract-based component specifications for virtual integration testing and architecture design. . 2011