Design for Verification in the Context of the Light Controlled Factory. (2015)