Architecture for diversity in the implementation of dependable and secure services using the state machine replication approach. (3rd February 2020)