SiValPro: sviluppo, validazione e prototipizzazione rapida di sistemi di automazione