An Efficient Implementation Method and Development of Demonstration Environment for Byzantine Fault Tolerant Systems