Unifying bisimulation relations for discrete and continuous systems