An unofficial mirror of the FailSafeC source code from https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html - View it on GitHub