A Configurable ACSL-Based Interface Generator for Simulated Systems | Publicación