Author: Safety-Critical Systems Safety-Critical Systems Club