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