Determining Performance Boundaries on High-Level System Specifications. - Wouter van Teijlingen; Rene van Leuken 001; Carlo Galuzzi; Bart Kienhuis (SCOPES, 2016)