A Configurable ACSL-Based Interface Generator for Simulated Systems. - Miguel A. Garcia; Diego R. Llanos; César de Prada (Simul., 1999)