Bisimulation: from the origins to today | IEEE Conference Publication | IEEE Xplore