Bisimulation: From The Origins to Today