Author: Safety-Critical Systems Club