Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation.

Lorenzo Capra, Rossano Gaeta, Oliver Botti

Browse the full SMC paper archive.