Design for safety: applicazione ad un automa per torneo storico cavalleresco