Change-Driven Consistency for Component Code, Architectural Models, and Contracts. - Max E. Kramer; Michael Langhammer; Dominik Messinger; Stephan Seifermann; Erik Burger (CBSE, 2015)