Olli-Pekka Puolitaival - Model-Based Tested for Integration Tested in Real Production - EuroSTAR 2012