Model Checking Real-Time Component Based Systems with Blackbox Testing | Publicación