Developing With Formal Methods at BedRock Systems, Inc. | IEEE Journals & Magazine | IEEE Xplore