Roopak Sinha, Kenneth Johnson, Radu Calinescu: A scalable approach for re-configuring evolving industrial control systems. ETFA 2014: 1-8