Using Jama for Life-Critical Products