423 Romanovsky, Alexander and Thomas, Martyn (2013) Industrial deployment of system engineering methods providing high dependability and productivity. Springer. (In Press)