SMS: Simulación y automatización de sistemas neumáticos mediante lógica binodal.