Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework