Developing With Formal Methods at BedRock Systems, Inc. - Gregory Malecha; Gordon Stewart 001; Frantisek Farka; Jasper Haag; Yoichi Hirai (IEEE Secur. Priv., 2022)