Using Bounded Model Checking with BOGOR | IEEE Conference Publication | IEEE Xplore