Toolkit for Dependability assessment, verification, optimization and selection of hardware models - View it on GitHub